Functional dependencies and inference rules for XML

Kamsuriah Ahmad, Hamidah Ibrahim

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (Scopus)

Abstract

The concept of functional dependency plays a fundamental role in relational databases where they are used in integrity enforcement and in database design. Similarly, these constraints will play fundamental role in XML as well. Recently XML functional dependencies (XFDs) have been intensively studied than other constraints for XML data. Since key is a special case of XFD, a formal definition of XFD that is able to specify keys and DTD (Data Type Definition) cardinality constraints is defined. A method for reasoning about these constraints and a set of inference rules for XFDs is proposed and proof correct.

Original languageEnglish
Title of host publicationProceedings - International Symposium on Information Technology 2008, ITSim
Volume1
DOIs
Publication statusPublished - 2008
EventInternational Symposium on Information Technology 2008, ITSim - Kuala Lumpur
Duration: 26 Aug 200829 Aug 2008

Other

OtherInternational Symposium on Information Technology 2008, ITSim
CityKuala Lumpur
Period26/8/0829/8/08

Fingerprint

XML

ASJC Scopus subject areas

  • Artificial Intelligence
  • Information Systems
  • Control and Systems Engineering
  • Electrical and Electronic Engineering

Cite this

Ahmad, K., & Ibrahim, H. (2008). Functional dependencies and inference rules for XML. In Proceedings - International Symposium on Information Technology 2008, ITSim (Vol. 1). [4631602] https://doi.org/10.1109/ITSIM.2008.4631602

Functional dependencies and inference rules for XML. / Ahmad, Kamsuriah; Ibrahim, Hamidah.

Proceedings - International Symposium on Information Technology 2008, ITSim. Vol. 1 2008. 4631602.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Ahmad, K & Ibrahim, H 2008, Functional dependencies and inference rules for XML. in Proceedings - International Symposium on Information Technology 2008, ITSim. vol. 1, 4631602, International Symposium on Information Technology 2008, ITSim, Kuala Lumpur, 26/8/08. https://doi.org/10.1109/ITSIM.2008.4631602
Ahmad K, Ibrahim H. Functional dependencies and inference rules for XML. In Proceedings - International Symposium on Information Technology 2008, ITSim. Vol. 1. 2008. 4631602 https://doi.org/10.1109/ITSIM.2008.4631602
Ahmad, Kamsuriah ; Ibrahim, Hamidah. / Functional dependencies and inference rules for XML. Proceedings - International Symposium on Information Technology 2008, ITSim. Vol. 1 2008.
@inproceedings{7b3336926ff243ff8ea4082d1adbdec5,
title = "Functional dependencies and inference rules for XML",
abstract = "The concept of functional dependency plays a fundamental role in relational databases where they are used in integrity enforcement and in database design. Similarly, these constraints will play fundamental role in XML as well. Recently XML functional dependencies (XFDs) have been intensively studied than other constraints for XML data. Since key is a special case of XFD, a formal definition of XFD that is able to specify keys and DTD (Data Type Definition) cardinality constraints is defined. A method for reasoning about these constraints and a set of inference rules for XFDs is proposed and proof correct.",
author = "Kamsuriah Ahmad and Hamidah Ibrahim",
year = "2008",
doi = "10.1109/ITSIM.2008.4631602",
language = "English",
isbn = "9781424423286",
volume = "1",
booktitle = "Proceedings - International Symposium on Information Technology 2008, ITSim",

}

TY - GEN

T1 - Functional dependencies and inference rules for XML

AU - Ahmad, Kamsuriah

AU - Ibrahim, Hamidah

PY - 2008

Y1 - 2008

N2 - The concept of functional dependency plays a fundamental role in relational databases where they are used in integrity enforcement and in database design. Similarly, these constraints will play fundamental role in XML as well. Recently XML functional dependencies (XFDs) have been intensively studied than other constraints for XML data. Since key is a special case of XFD, a formal definition of XFD that is able to specify keys and DTD (Data Type Definition) cardinality constraints is defined. A method for reasoning about these constraints and a set of inference rules for XFDs is proposed and proof correct.

AB - The concept of functional dependency plays a fundamental role in relational databases where they are used in integrity enforcement and in database design. Similarly, these constraints will play fundamental role in XML as well. Recently XML functional dependencies (XFDs) have been intensively studied than other constraints for XML data. Since key is a special case of XFD, a formal definition of XFD that is able to specify keys and DTD (Data Type Definition) cardinality constraints is defined. A method for reasoning about these constraints and a set of inference rules for XFDs is proposed and proof correct.

UR - http://www.scopus.com/inward/record.url?scp=57349126945&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=57349126945&partnerID=8YFLogxK

U2 - 10.1109/ITSIM.2008.4631602

DO - 10.1109/ITSIM.2008.4631602

M3 - Conference contribution

AN - SCOPUS:57349126945

SN - 9781424423286

VL - 1

BT - Proceedings - International Symposium on Information Technology 2008, ITSim

ER -