umu.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

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

sted, utgiver, år, opplag, sider
2004.
Identifikatorer
URN: urn:nbn:se:umu:diva-9538OAI: oai:DiVA.org:umu-9538DiVA, id: diva2:149209
Tilgjengelig fra: 2008-04-18 Laget: 2008-04-18 Sist oppdatert: 2018-06-09bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Personposter BETA

Minock, Michael

Søk i DiVA

Av forfatter/redaktør
Minock, Michael
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric

urn-nbn
Totalt: 88 treff
RefereraExporteraLink to record
Permanent link

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