Glossary
asOf
A database value as of a point in time. With asOf, you can reuse existing queries and rules to ask questions about points in time other than the present.
assertion
An atomic fact in the database, associating an entity , attribute , value , and a tx . Opposite of a retraction .
attribute
Something that can be said about an entity . An attribute has a name, e.g. :firstName
, and a value type, e.g. :db.type/long
, and a cardinality.
attribute identifier
An entity identifier that refers to an attribute.
backup URI
A backup URI is a per-database URI specifying a backup location on a local filesytem path with 'file://full/path/to/backup-directory' or an S3 path with 's3://bucket/prefix'.
basis-t
The database t that is the basis for the current database, i.e. the most recent point-in-time that this database has seen.
cardinality
Property of an attribute that specifies how many values of the attribute can be associated with a single reference entity. Possible values are :db.cardinality/one
and :db.cardinality/many
.
caches
Nodes use a variety of caches
closed world assumption
Assumption that truth is what the database knows. Databases that intend to store data of record typically make the closed world assumption. Datomic adheres to the closed world model.
component
A reference attribute that is part of its entity . E.g. your arm is a component of you, but your sister isn't. An attribute is a component it has :db/isComponent
set to true
.
component attribute
See component .
connection
Client object that provides access to a database. Programs can use a connection to submit transactions and queries.
Coordination
covering index
A covering index contains (rather than points to) the data. Datomic indexes are covering indexes.
Credentials
Information used to authenticate for a particular task. In accordance with the principle of least privilege, Datomic allows separate credentials for each different activity performed by a running system.
database
A database is a set of datoms.
database URI
A Unique Resource Identifier pointing to a specific Datomic database. URI syntax is described in the datomic.api/connect doc string.
Data Function
A function installed in a database, i.e. an attribute value whose type is :db/fn.
datom
An atomic fact in a database, composed of entity/attribute/value/transaction/added. Pronounced like "datum", but pluralizes as datoms.
datalog
A deductive query system, typically consisting of:
- A database of facts
- A set of rules for deriving new facts from existing facts
- a query processor that, given some partial specification of a fact or rule: finds all instances of that specification implied by the database and rules, i.e. all the matching facts
domain attribute
an attribute used to model something in your application domain.
edn
The extensible data notation is used by Datomic and other applications as a data transfer format.
Encrypted Credentials
Encrypted form of credentials. Datomic encrypts credentials in places like EC2 user data to reduce the threat generic exploits.
entity
The first component of a datom , specifying who or what the datom is about. Also the collection of datoms associated with a single entity, as in the Java type, Entity.
entity id
An opaque identifier assigned by Datomic that uniquely identifies an entity. Entity ids are integers for efficiency, but application programs should treat them as opaque ids.
entity identifier
a value that identifies an entity. Can be an entity id, an ident, or a lookup ref.
environment
an instantiated set of all the resources need to run an application.
external key
a unique identifier external to Datomic. Typical external key types are email address, UUID, and URI. External key attributes should be declared as db.unique/identity
.
epoch
Period of time bounded by writing index to storage. During an epoch, indexing is done in memory. At epoch boundaries, the in-memory index is merged with the persistent index, and a new persistent index is written to the storage service (without blocking the system).
Excision
The complete removal of a set of datoms matching a predicate. Excision should be a very infrequent operation, and should not be used to correct erroneous data.
fact
See datom .
Fressian
Fressian is an extensible binary format that is used everywhere data is serialized by Datomic: on the wire, at rest, and in caches. Fressian is designed to be:
- self-describing
- language-independent
- extensible
- simple to implement and consume
- compact and fast
- friendly to dynamic and static languages
- compressible in domain-specific ways
keyword
Data type representing a name, e.g. :email
or (with namespace) :customer/email
.
ident
A value of type :db/ident
that uniquely identifies an entity .
index
infrastructure
The set of all environments for an application.
lookup-ref
A list containing a unique attribute and a value that identifies an entity.
Metrics
Statistics used to measure the health of a running system. By default, Datomic records metrics using Amazon's CloudWatch.
namespace
Prefix portion of a keyword used to make the keyword globally unique. Namespaces serve a similar function to table names in a relational store, without imposing any obligations or limitations, e.g. an entity can have attributes from more than one namespace.
object cache
Nodes maintain an on-heap cache of segments containing the most recently used datoms.
parameters
named slots for application configuration data.
Partition
A logical grouping of entities in a database. Partitions have unique qualified names. Every entity belongs to a partition that is assigned when the entity is created. Partitions act as a storage hint, so that larger systems can plan ahead for better locality of reference for entities that are frequently accessed together. Partitions are typically coarser grained than relational tables. Partitioning is invisible to the query system, and therefore has no impact on the code you write to access the database.
Peer
A process that uses the Datomic library to interact with a system, and obtain connections to interact with one or more databases . Peers have in-memory access to database values, and an integrated Datalog query engine. There can be many kinds of peers, with capabilities varying by platform and need.
pull
a declarative way to make hierarchical selections of information about entities
query
reference
An attribute that refers to another entity. References always have the value type db.type/ref
.
Reference Attribute
See reference .
retraction
Role
Generic name for transactor/peer/persistence service., e.g. "The process claims the transactor role by placing a well-known value in SDB upon startup." Used in the config tools
Rule
A named group of query constraints, to allow re-use of logic across queries.
Schema
The set of possible attributes that can be associated with entities. Only defines the characteristics of the attributes themselves, not which attributes can be associated with which entities.
schema attribute
a built-in attribute used to define schema, e.g. all attributes are named by :db/ident
.
Segment
Indexes store datoms as a tree of segments, where the leaf nodes contain a few thousand datoms each.
Segment Cache
A cache that stores fressian -serialized data, e.g. in memcached. A segment cache takes much less memory than equivalent data in the object cache , but is slower to access. Peer and transactor processes use both object caches and segment caches.
Storage Resources
The durable elements managed by a Datomic system.
Storage Service
Subsystem responsible for persistence and nothing else. Datomic is designed so that the persistence layer is pluggable, and so that other functions traditionally associated with persistence are handled elsewhere. In particular, storage is provisioned separately from query and transaction capabilities
System
A complete Datomic installation, consisting of storage resources, a primary compute stack, and optional query groups.
Time-Point
Data structure that can be resolved to a point in time in a database. Can be a database t, a tx, or a date.
t
A point in time in a database. Every transaction is assigned a numeric t value greater than any previous t in the database, and all processes see a consistent succession of ts.
tx
An entity representing a transaction . Every datom in a Datomic database includes the tx that created it, allowing recovery of the entire history of the database. Transactions are automatically associated with wall-clock time, but are otherwise ordinary entities. In particular, application code can make additional assertions about transactions.
Transaction
An atomic unit of work in a database. All Datomic writes are transactional, fully serialized, and ACID (Atomic, Consistent, Isolated, and Durable).
Transaction Function
a function that runs inside a transaction, taking the current database value plus user arguments and expanding into data to be added by the transaction.
Transaction Log
an accumulate-only log of all transactions, stored in DynamoDB.
Transactor
A process with the ability to commit transactions for a given database. At any moment in time, a running database has exactly one transactor, but any number of peers .
Tuple
An ordered list of elements. Datomic queries return sets of tuples.
Unqiue
Upsert
Either insert or update an entity , depending on whether the unique entity already exists.
Valcache
An SSD-backed cache of segments. Valcache is similar in performance to memcached but durable and capacious.