@inproceedings{e0207012bcb34e8aab752f5eb4b14661,
title = "A Database Interface for Complex Objects",
abstract = "We describe a formal design for a logical query language using psi-terms as data structures to interact effectively and efficiently with a relational database. The structure of psi-terms provides an adequate representation for so-called complex objects. They generalize conventional terms used in logic programming: they are sorted attributed structures, ordered thanks to a subsort ordering. Unification of psi-terms is an effective means for integrating multiple inheritance and partial information into a deduction process. We define a compact database representation for psi-terms, representing part of the subsorting relation in the database as well. We describe a retrieval algorithm based on an abstract interpretation of the psi-term unification process and prove its formal correctness. This algorithm is efficient in that it incrementally retrieves only additional facts that are actually needed by a query, and never retrieves the same fact twice.",
keywords = "IR-66446, EWI-7259, METIS-119760, DB-OODB: OBJECT-ORIENTED DATABASES, DB-DDB: DEDUCTIVE DATABASES",
author = "Marcel Holsheimer and {de By}, {Rolf A.} and {de By}, R.A. and Hassan Ait-Kaci",
note = "Imported from EWI/DB PMS [db-utwente:inpr:0000003113]; null ; Conference date: 13-06-1994 Through 18-06-1994",
year = "1994",
month = jun,
language = "Undefined",
isbn = "0-262-72022-1",
publisher = "MIT Press",
pages = "437--455",
booktitle = "Proceedings of the 11th International Conference on Logic Programming (ICLP 1994)",
address = "United States",
}