umu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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, Published 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
2004.
Identifiers
URN: urn:nbn:se:umu:diva-9538OAI: oai:DiVA.org:umu-9538DiVA: diva2:149209
Available from: 2008-04-18 Created: 2008-04-18Bibliographically approved

Open Access in DiVA

No full text

Authority records BETA

Minock, Michael

Search in DiVA

By author/editor
Minock, Michael
By organisation
Computing Science

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 29 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf