A predicate-calculus based language for semantic databases

Author

Rishe, Naphtali

Author_Institution

Sch. of Comput. Sci., Florida Int. Univ., Miami, FL, USA

fYear

1990

fDate

7-9 Mar 1990

Firstpage

424

Lastpage

429

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Databases, Parallel Architectures and Their Applications,. PARBASE-90, International Conference on

Conference_Location

Miami Beach, FL

Print_ISBN

0-8186-2035-8

Type

conf

DOI

10.1109/PARBSE.1990.77169

Filename

77169