Journal article
Conceptual modeling of data base operations
Abstract
A formalism adequate for the specification of behavioral properties of data bases is proposed. The formalism is a many-sorted first order predicate calculus, including a formalized notion of data base state. Both update and query requests are modeled through expressions by the use of predicates supplied in the language of the formal system, and are treated uniformly as a theorem proving process. The process consists of using the axioms defining …
Authors
Santos CSD; Maibaum TSE; Furtado AL
Journal
International Journal of Parallel Programming, Vol. 10, No. 5, pp. 299–314
Publisher
Springer Nature
Publication Date
October 1981
DOI
10.1007/bf00993149
ISSN
0885-7458