Abstract
Deductive databases based on relational databases and Prolog techniques
are not suitable for complex object modeling. The problems result from
the underlying relational model and the pure Prolog which use
inexpressive flat structures. Semantic data models using data abstractions
and inheritance greatly increase expressiveness. So do extended terms
with internal structure in logic programming. This paper proposes a
higher-order logic language for deductive databases called S-logic
which is the combination of the semantic data model and extended term
approaches. It supports object identity, semantic data abstractions
and inheritance very naturally and allows the definition and manipulation
of database schema and data in an integrated framework.
Notes
We are currently acquiring citations for the work deposited into this collection. We recognize the distribution rights of this item may have been assigned to another entity, other than the author(s) of the work.If you can provide the citation for this work or you think you own the distribution rights to this work please contact the Institutional Repository Administrator at digitize@ucalgary.ca