Synonyms
C-tables; Extended relations
Definition
A conditional table [4] generalizes relations in two ways. First, in the entries in the columns, variables, representing unknown values, are allowed in addition to the usual constants. The second generalization is that each tuple is associated with a condition, which is a Boolean combination of atoms of the form x = y, x = a, a = b, for x, y null values (variables), and a, b constants. A conditional table essentially represents an existentially quantified function free first order theory.
Formally, let con be a countably infinite set of constants, and var be a countably infinite set of variables, disjoint from con. Let U be a finite set of attributes, and R ⊆ U a relational schema. A tuple in a c-table over R is a mapping from R, and a special attribute, denoted φ, to con ∪ var ∪ β, where β is the set of all Boolean combinations of equality atoms, as above. Every attribute in R maps to a variable or a constant, and φ maps to β. In a...
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Recommended Reading
Abiteboul S, Duschka OM. Complexity of answering queries using materialized views. In: Proceedings of the 17th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems; 1998. p. 254–63.
Abiteboul S, Kanellakis PC, Grahne G. On the representation and querying of sets of possible worlds. Theor Comput Sci. 1991;78(1):158–87.
Grahne G, Mendelzon AO. Tableau techniques for querying information sources through global schemas. In: Proceedings of the 7th International Conference on Database Theory; 1999. p. 332–47.
Imielinski T, Lipski Jr W. Incomplete information in relational databases. J ACM. 1984;31(4):761–91.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Section Editor information
Rights and permissions
Copyright information
© 2018 Springer Science+Business Media, LLC, part of Springer Nature
About this entry
Cite this entry
Grahne, G. (2018). Conditional Tables. In: Liu, L., Özsu, M.T. (eds) Encyclopedia of Database Systems. Springer, New York, NY. https://doi.org/10.1007/978-1-4614-8265-9_1253
Download citation
DOI: https://doi.org/10.1007/978-1-4614-8265-9_1253
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4614-8266-6
Online ISBN: 978-1-4614-8265-9
eBook Packages: Computer ScienceReference Module Computer Science and Engineering