Edinburgh Research Explorer

A Semantics of Complex Objects and Approximate Queries

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationPODS '88 Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Number of pages10
ISBN (Print)0-89791-263-2
Publication statusPublished - 1 Mar 1988


A new definition of complex objects is introduced which provides a denotation for incomplete tuples as well as partially described sets. Set values are "sandwiched" between "complete" and "consistent" descriptions (representing the Smyth and Hoare powerdomains respectively), allowing the maximal values to be arbitrary subsets of maximal elements in the domain of the set. We also examine the use of rules in defining queries over such objects.

ID: 10624925