Change search
ReferencesLink to record
Permanent link

Direct link
Managing Database Incompleteness with the Guarded Fragment
Umeå University, Faculty of Science and Technology, Computing Science.
2004 (English)In: Workshop on Guarded Logics, European Summer School in Logic Language and Information (ESSLLI-04), 2004Conference paper (Refereed)
Abstract [en]

Traditional databases do not explicitly represent the portions over their schemas for which they are sound and complete. This paper proposes a method by which very fine grained meta-data descriptions may be attached to relational data sources to describe, among other things, the portions of various tables for which the database has complete data. Because of the formal properties of the meta-data description language, itself expressible within the guarded fragment of first-order logic, intensional descriptions of the coverage offered to a specific query may be generated. The techniques discussed in this paper are general and may apply to many scenarios where fine-grained meta-data descriptions are associated with tuple sets.

Place, publisher, year, edition, pages
URN: urn:nbn:se:umu:diva-9538OAI: diva2:149209
Available from: 2008-04-18 Created: 2008-04-18Bibliographically approved

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Minock, Michael
By organisation
Computing Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 11 hits
ReferencesLink to record
Permanent link

Direct link