umu.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Managing Database Incompleteness with the Guarded Fragment
Umeå universitet, Teknisk-naturvetenskaplig fakultet, Datavetenskap.
2004 (Engelska)Ingår i: Workshop on Guarded Logics, European Summer School in Logic Language and Information (ESSLLI-04), 2004Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
2004.
Identifikatorer
URN: urn:nbn:se:umu:diva-9538OAI: oai:DiVA.org:umu-9538DiVA, id: diva2:149209
Tillgänglig från: 2008-04-18 Skapad: 2008-04-18 Senast uppdaterad: 2018-06-09Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Personposter BETA

Minock, Michael

Sök vidare i DiVA

Av författaren/redaktören
Minock, Michael
Av organisationen
Datavetenskap

Sök vidare utanför DiVA

GoogleGoogle Scholar

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 84 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf