On keys and functional dependencies as first-class citizens in description logics

DOI10.1007/s10817-007-9092-zzbMath1140.68064OpenAlexW2073165288MaRDI QIDQ928661

David Toman, Grant E. Weddell

Publication date: 11 June 2008

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-007-9092-z

zbMATH Keywords

Description logicsPath-functional dependencyRelational keys

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (6)

Logical Foundations of Possibilistic Keys ⋮ Some Remarks on Relational Database Schemes Having Few Minimal Keys ⋮ Controlling entity integrity with key sets ⋮ Reasoning about functional and full hierarchical dependencies over partial relations ⋮ Canonical dichotomous direct bases ⋮ Inclusion dependencies and their interaction with functional dependencies in SQL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On reasoning about structural equality in XML: a description logic approach
• Adding inclusion dependencies to an object-oriented data model with uniqueness constraints
• On Keys and Functional Dependencies as First-Class Citizens in Description Logics
• Representing and reasoning on XML documents: a description logic approach
• The undecidability of the domino problem
• Implication problems for functional constraints on databases supporting complex objects

This page was built for publication: On keys and functional dependencies as first-class citizens in description logics