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
PublisherACM
Pages305-314
Number of pages10
ISBN (Print)0-89791-263-2
DOIs
Publication statusPublished - 1 Mar 1988

Abstract

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