Axiomatizing functional dependencies in the Higher-Order Entity-Relationship Model

Hartmann, S; Hoffmann, A; Link, Sebastian; Schewe, KD

dc.contributor.author	Hartmann, S	en
dc.contributor.author	Hoffmann, A	en
dc.contributor.author	Link, Sebastian	en
dc.contributor.author	Schewe, KD	en
dc.date.accessioned	2012-12-04T03:37:43Z	en
dc.date.issued	2003-08	en
dc.identifier.citation	Information Processing Letters 87(3):133-137 Aug 2003	en
dc.identifier.issn	0020-0190	en
dc.identifier.uri	http://hdl.handle.net/2292/19709	en
dc.description.abstract	A finite axiomatization of functional dependencies on conceptual database schemata is presented which naturally generalizes the well-known Armstrong axioms. The underlying conceptual data model is the Higher-Order Entity-Relationship Model.	en
dc.publisher	Elsevier B.V	en
dc.relation.ispartofseries	Information Processing Letters	en
dc.rights	Items in ResearchSpace are protected by copyright, with all rights reserved, unless otherwise indicated. Previously published items are made available in accordance with the copyright policy of the publisher. Details obtained from http://www.sherpa.ac.uk/romeo/issn/0020-0190/	en
dc.rights.uri	https://researchspace.auckland.ac.nz/docs/uoa-docs/rights.htm	en
dc.subject	Conceptual model	en
dc.subject	Functional dependency	en
dc.subject	Axiomatization	en
dc.subject	Entity-Relationship model	en
dc.title	Axiomatizing functional dependencies in the Higher-Order Entity-Relationship Model	en
dc.type	Journal Article	en
dc.identifier.doi	10.1016/S0020-0190(03)00267-9	en
pubs.issue	3	en
pubs.begin-page	133	en
pubs.volume	87	en
dc.rights.holder	Copyright: Elsevier B.V	en
pubs.end-page	137	en
dc.rights.accessrights	http://purl.org/eprint/accessRights/RestrictedAccess	en
pubs.subtype	Article	en
pubs.elements-id	365858	en
pubs.org-id	Science	en
pubs.org-id	School of Computer Science	en
pubs.record-created-at-source-date	2012-11-30	en