Functional and multivalued dependencies in nested databases generated by record and list constructor

tor. In order to capture different data models at a time, an abstract algebraic approach based on nested attributes is taken. The presence of the list constructor calls for a new inference rule which allows to infer non-trivial functional dependencies from multivalued dependencies. Further differences to the relational theory become apparent when the independence of the inference rules is investigated. The extension of the relational theory to nested databases allows to specify more real-world constraints and increases therefore the number of application domains.

• Type: Journal
• Year: 2006
• Where: AMAI
• Authors: Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe
• Keywords: Abstract Algebraic Approach, AMAI 2006, Artificial Intelligence, Inference Rules, Relational Theory