A Database Interface for Complex Objects

Marcel Holsheimer, Rolf A. de By, Hassan Aït-Kaci

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

50 Downloads (Pure)

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.
Original languageEnglish
Title of host publicationProceedings of the 11th International Conference on Logic Programming (ICLP 1994)
Place of PublicationCambridge, MA, USA
PublisherMIT Press
Pages437-455
Number of pages19
ISBN (Print)0-262-72022-1
Publication statusPublished - Jun 1994
Event11th International Conference on Logic Programming, ICLP 1994 - Santa Margherita Ligure, Italy
Duration: 13 Jun 199418 Jun 1994
Conference number: 11

Conference

Conference11th International Conference on Logic Programming, ICLP 1994
Abbreviated titleICLP
Country/TerritoryItaly
CitySanta Margherita Ligure
Period13/06/9418/06/94

Keywords

  • DB-OODB: OBJECT-ORIENTED DATABASES
  • DB-DDB: DEDUCTIVE DATABASES

Fingerprint

Dive into the research topics of 'A Database Interface for Complex Objects'. Together they form a unique fingerprint.

Cite this