Nullary relation

In mathematics, a nullary relation, 0-ary relation, or relation of degree zero is a relation with zero attributes. There are exactly two relations of degree zero. One has cardinality zero; that is, contains no tuples at all. The other has cardinality 1 and contains only the unique 0-tuple.[1]:56

The zero-degree relations represent true and false in relational algebra.[1]:57 Under the closed-world assumption, an n-ary relation is interpreted as the extension of some n-adic predicate: all and only those n-tuples whose values, substituted for corresponding free variables in the predicate, yield propositions that hold true, appear in the relation. A zero-degree relation is therefore interpreted as the extension of the 0-adic predicate P() → true. The zero-degree relation with cardinality zero therefore represents false because it contains no tuples that yield a true proposition, and the zero-degree relation with cardinality 1 represents true because it contains the unique 0-tuple that yields a true proposition.

The zero-degree relations are also significant as identities for certain operators in the relational algebra. The zero-degree relation of cardinality 1 is the identity with respect to join (⋈); that is, when it is joined with any other relation R, the result is R. Defining an identity with respect to join makes it possible to extend the binary join operator into a n-ary join operator.[1]:89

Since the relational Cartesian product is a special case of join, the zero-degree relation of cardinality 1 is also the identity with respect to the Cartesian product.[1]:89

A projection of a relation over no attributes yields one of the relations of degree zero. If the projected relation has cardinality 0, the projection will have cardinality 0; if the projected relation has positive cardinality, the result will have cardinality 1.

Hugh Darwen refers to the zero-degree relation with cardinality 0 as TABLE_DUM and the relation with cardinality 1 as TABLE_DEE, alluding to the characters Tweedledum and Tweedledee.[2]

See also

References

  1. ^ a b c d Date, Christopher J. (May 2005). Database In Depth (1 ed.). Sebastopol, California: O'Reilly. ISBN 978-0-596-10012-4.
  2. ^ Darwen, Hugh (1992). "The Nullologist in Relationland". In Date, C. J.; Darwen, Hugh (eds.). Relational Database Writings 1989–1991. Reading, Massachusetts: Addison-Wesley.

Content Disclaimer

Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.

  1. The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
  2. There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
  3. It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
  4. Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
  5. Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.