Predicate-calculus based language for semantic databases Conference

Rishe, N. (1990). Predicate-calculus based language for semantic databases . 424-429.

cited authors

  • Rishe, N



  • 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.

publication date

  • January 1, 1990

start page

  • 424

end page

  • 429