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

fYear

1993

fDate

19-23 Apr 1993

Firstpage

219

Lastpage

228

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Data Engineering, 1993. Proceedings. Ninth International Conference on

Conference_Location

Vienna

Print_ISBN

0-8186-3570-3

Type

conf

DOI

10.1109/ICDE.1993.344060

Filename

344060