Querying and Updating Constraint Databases with Incomplete Information

Abstract

It is the aim of the research described in this paper is to to extend the work to deductive databases by proposing a theory of indefinite deductive constraint databases (IDCDs). This model provides a useful and natural representation of partial and infinite information. As a result of basing our representation of incomplete information on constraints, we can easily extend our model in order to enable the representation of temporal and/or spatial data by defining the domain of variables over which constraints can be defined to either be the temporal or spatial domain or by using, for example, linear arithmetic constraints to represent these domains. We describe how the syntax of the deductive database model can be enhanced with global conditions on incompletely specified constants to naturally represent partial information and provide a full declarative, fixpoint and procedural semantics for the language defined. We discuss an as yet unexplored problem with respect to constraint databases - that of updating and maintaining a consistent set of data in the presense of global conditions on incomplete information.

Contributors

Julie Wilks

Conference

Publication date: September 1997

Publication date (Print): September 1997

Pages: 1-17

Affiliations

School of Computing and Information Systems

University of Wolverhampton

Wolverhampton

WV1 1SB

Article

DOI: 10.14236/ewic/ADBIS1997.40

Copyright statement: © Julie Wilks. Published by BCS Learning and Development Ltd. Proceedings of the First East-European Symposium on Advances in Databases and Information Systems, (ADBIS'97), St Petersburg

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: Proceedings of the First East-European Symposium on Advances in Databases and Information Systems

Conference acronym: ADBIS

Conference number: 1

Conference location: St Petersburg

Conference date: 2-5 September 1997

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Advances in Databases and Information Systems

Product

Product Information: 1477-9358BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/ADBIS1997.40

Self URI (journal page): https://ewic.bcs.org/

Categories

Series title: Electronic Workshops in Computing