Zum Hauptinhalt springen

Efficient Reasoning About XFDs with Pre-image Semantics

Link, Sebastian ; Hartmann, Sven ; et al.
In: Advances in Databases: Concepts, Systems and Applications ISBN: 9783540717027 DASFAA; (2007-08-02)
Online unknown

Titel:
Efficient Reasoning About XFDs with Pre-image Semantics
Autor/in / Beteiligte Person: Link, Sebastian ; Hartmann, Sven ; Trinh, Thu
Link:
Quelle: Advances in Databases: Concepts, Systems and Applications ISBN: 9783540717027 DASFAA; (2007-08-02)
Veröffentlichung: Springer Berlin Heidelberg, 2007
Medientyp: unknown
ISBN: 978-3-540-71702-7 (print)
DOI: 10.1007/978-3-540-71703-4_107
Schlagwort:
  • Theoretical computer science
  • Horn clause
  • Computer science
  • computer.internet_protocol
  • Semantics (computer science)
  • computer.software_genre
  • Logical consequence
  • Decidability
  • TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES
  • XML database
  • Data integrity
  • Automated reasoning
  • Data mining
  • computer
  • XML
Sonstiges:
  • Nachgewiesen in: OpenAIRE

Klicken Sie ein Format an und speichern Sie dann die Daten oder geben Sie eine Empfänger-Adresse ein und lassen Sie sich per Email zusenden.

oder
oder

Wählen Sie das für Sie passende Zitationsformat und kopieren Sie es dann in die Zwischenablage, lassen es sich per Mail zusenden oder speichern es als PDF-Datei.

oder
oder

Bitte prüfen Sie, ob die Zitation formal korrekt ist, bevor Sie sie in einer Arbeit verwenden. Benutzen Sie gegebenenfalls den "Exportieren"-Dialog, wenn Sie ein Literaturverwaltungsprogramm verwenden und die Zitat-Angaben selbst formatieren wollen.

xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -