Title :
A predicate-calculus based language for semantic databases
Author_Institution :
Sch. of Comput. Sci., Florida Int. Univ., Miami, FL, USA
Abstract :
The author proposes a nonprocedural language for semantic databases in general and for the semantic binary model in particular. The foundation of the language is a database interpretation of a first-order predicate calculus. The calculus is enriched with second-order constructs for aggregation (statistical functions), specification of transactions, parameterized query forms, and other uses. The language is called SD-Calculus (Semantic Database Calculus). Of special interest is the use of this language for specification of bulk transactions, including generation of sets of new abstract objects. Implementation of the language is discussed
Keywords :
relational databases; specification languages; SD-Calculus; Semantic Database Calculus; aggregation; nonprocedural language; parameterized query forms; predicate-calculus based language; second-order constructs; semantic binary model; semantic databases; specification of transactions; statistical functions; Aggregates; Calculus; Computer aided software engineering; Computer science; Concrete; Data security; Marine vehicles; Terminology; Transaction databases;
Conference_Titel :
Databases, Parallel Architectures and Their Applications,. PARBASE-90, International Conference on
Conference_Location :
Miami Beach, FL
Print_ISBN :
0-8186-2035-8
DOI :
10.1109/PARBSE.1990.77169
