scientific article; zbMATH DE number 2080464

MaRDI QIDQ4473261zbMATHFDO

Authors Vitaliy L. Khizder, David Toman, Grant E. Weddell

Publication date 4 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/1973/19730054.htm

Mathematics Subject Classification ID

Database theory (68P15) Decidability of theories and sets of sentences (03B25) Logic in computer science (03B70)

Recommendations

• On keys and functional dependencies as first-class citizens in description logics
• On Keys and Functional Dependencies as First-Class Citizens in Description Logics
• Conjunctive query containment and answering under description logic constraints
• The Complexity of Conjunctive Query Answering in Expressive Description Logics
• Satisfiability and query answering in description logics with global and local cardinality constraints

Cited in

(5)

• On keys and functional dependencies as first-class citizens in description logics
• On reasoning about structural equality in XML: a description logic approach
• scientific article; zbMATH DE number 1696851 (Why is no real title available?)
• Uniquest: Determining the Semantics of Complex Uniqueness Constraints
• On Keys and Functional Dependencies as First-Class Citizens in Description Logics

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4473261)