Relational algebra, an offshoot of first-order logic, deals with a set of finitary relations that is closed under certain operators. These operators operate on one or more relations to yield a relation. Relational algebra is a part of computer science.
more from Wikipedia

Completeness

In general, an object is complete if nothing needs to be added to it. This notion is made more specific in various fields.
more from Wikipedia

Negation

In logic and mathematics, negation, also called logical complement, is an operation on propositions, truth values, or semantic values more generally. Intuitively, the negation of a proposition is true when that proposition is false, and vice versa. In classical logic negation is normally identified with the truth function that takes truth to falsity and vice versa.
more from Wikipedia

Tuple

In mathematics and computer science, a tuple is an ordered list of elements. In set theory, an (ordered) -tuple is a sequence (or ordered list) of elements, where is a positive integer. There is also one 0-tuple, an empty sequence. An -tuple is defined inductively using the construction of an ordered pair. Tuples are usually written by listing the elements within parentheses "" and separated by commas; for example, denotes a 5-tuple.
more from Wikipedia

Soundness

In mathematical logic, a logical system has the soundness property if and only if its inference rules prove only formulas that are valid with respect to its semantics. In most cases, this comes down to its rules having the property of preserving truth, but this is not the case in general. The word derives from the Germanic 'Sund' as in Gesundheit, meaning health. Thus to say that an argument is sound means, following the etymology, to say that the argument is healthy.
more from Wikipedia

Sign (mathematics)

In mathematics, the word sign refers to the property of being positive or negative. Every nonzero real number is either positive or negative, and therefore has a sign. Zero itself is signless, although in some contexts it makes sense to consider a signed zero. In addition to its application to real numbers, the word sign is used throughout mathematics to indicate aspects of mathematical objects that resemble positivity and negativity, such as the sign of a permutation.
more from Wikipedia

Materialized view

A materialized view is a database object that contains the results of a query. For example, it may be a local copy of data located remotely, or may be a subset of the rows and/or columns of a table or join result, or may be a summary based on aggregations of a table's data. Materialized views, which store data based on remote tables, are also known as snapshots. A snapshot can be redefined as a materialized view.
more from Wikipedia

Query optimization

Query optimization is a function of many relational database management systems in which multiple query plans for satisfying a query are examined and a good query plan is identified. This may or not be the absolute best strategy because there are many ways of doing plans. There is a trade-off between the amount of time spent figuring out the best plan and the amount running the plan. Different qualities of database management systems have different ways of balancing these two.
more from Wikipedia