DocumentCode :
3205774
Title :
Preserving and generating objects in the LIVING IN A LATTICE rule language
Author :
Heuer, Andreas ; Sander, Peter
Author_Institution :
Inst. fuer Inf., Tech. Univ. Clausthal, Zellerfeld, Germany
fYear :
1991
fDate :
8-12 Apr 1991
Firstpage :
562
Lastpage :
569
Abstract :
LIVING IN A LATTICE is presented as a rule-based query language for an object-oriented database model. The model supports complex objects, object identity, and is-a-relationships. The instances are described by object relations, which are functions from a set of objects to value sets and other object sets. The rule language is based on object-terms which provide an access to objects via is-a-relationships. Rules are divided into two classes: object-preserving rules manipulating existing objects and object-generating ones creating objects with properties derived from existing objects. The derived object sets are included in a lattice of object types. Some conditions are given under which the instances of the rule´s heads are consistent, i.e., where the properties of the derived objects are functionally determined by the objects
Keywords :
artificial intelligence; knowledge based systems; object-oriented databases; query languages; LIVING IN A LATTICE rule language; complex objects; object identity; object-oriented database model; object-preserving rules; rule-based query language; Database languages; Deductive databases; Encapsulation; Lattices; Logic; Object oriented databases; Object oriented modeling; Proposals; Relational databases; Spatial databases;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Data Engineering, 1991. Proceedings. Seventh International Conference on
Conference_Location :
Kobe
Print_ISBN :
0-8186-2138-9
Type :
conf
DOI :
10.1109/ICDE.1991.131505
Filename :
131505
Link To Document :
بازگشت