Title :
IsaLog: A declarative language for complex objects with hierarchies
Author :
Atzeni, P. ; Cabibbo, L. ; Mecca, G.
Author_Institution :
Dipartimento di Inf. e Sistemistica, Roma Univ., Italy
Abstract :
The IsaLog model and language are presented. The model has complex objects with classes, relations, and is a hierarchies. The language is strongly types and declarative. The main issue is the definition of the semantics of the language, given in three different ways that are shown to be equivalent: a model-theoretic semantics, a reduction to logic programming with function symbols, and a fixpoint semantics. Each of the semantics presents new aspects with respect to existing proposals because of the interaction of oid-invention with general is a hierarchies. The solutions are based on the explicit Skolem functors, which provide a powerful tool for manipulating object-identifiers
Keywords :
logic programming languages; object-oriented languages; IsaLog; classes; complex objects; declarative language; explicit Skolem functors; fixpoint semantics; function symbols; hierarchies; is a hierarchies; logic programming; model-theoretic semantics; object identifier manipulation; oid-invention; relations; strongly typed language; Data models; Instruction sets; Logic programming; Object oriented databases; Object oriented modeling; Remuneration;
Conference_Titel :
Data Engineering, 1993. Proceedings. Ninth International Conference on
Conference_Location :
Vienna
Print_ISBN :
0-8186-3570-3
DOI :
10.1109/ICDE.1993.344060
