Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 11 / Issue 12

available in:   PDF (162 kB) PS (161 kB)
Similar Docs BibTeX   Write a comment
Links into Future
DOI:   10.3217/jucs-011-12-2063


Functional Dependencies with Counting on Trees

Klaus-Dieter Schewe (Department of Information Systems and Information Science, Research Centre, Massey University, New Zealand)

Abstract: The paper presents an axiomatisation for functional dependencies on trees that are defined using constructors for records, lists, sets and multisets. A simple form of restructuring permitting lists to be mapped onto multisets and multisets onto sets is added to the theory. Furthermore, the theory handles dependencies on sets treated as multisets. This adds the possibility to use the count of elements in the dependencies.

Keywords: axiomatisation, complex value databases, counting attributes, functional dependencies

Categories: F.4.1, H.2.1