Tuple calculus: formal definition and conversion from first-order calculus (Q1097051)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Tuple calculus: formal definition and conversion from first-order calculus |
scientific article; zbMATH DE number 4033152
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Tuple calculus: formal definition and conversion from first-order calculus |
scientific article; zbMATH DE number 4033152 |
Statements
Tuple calculus: formal definition and conversion from first-order calculus (English)
0 references
1987
0 references
The paper deals with conversion procedures between relational calculus and first order calculus. While the former is traditionally used in database theory, the latter is more natural in case of deductive databases. Advanced information systems need however both, which can be realized by the ``tuple calculus'', an extension of the relational one. The paper gives, on this basis, means to describe query formulae and integrity rules.
0 references
type calculus
0 references
integrity constraints
0 references
deductive databases
0 references
query formulae
0 references
integrity rules
0 references
