Tableaux for functional dependencies and independencies

Duminda Wijesekera, M. Ganesh, Jaideep Srivastava, Anil Nerode

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

1 Citation (Scopus)

Abstract

In this paper we show the application of prefixed-signed tableaux to functional dependencies and independencies. Although functional dependencies and independencies are first-order formulae, a custommade tableau proof procedure is more efficient than a general purpose tableau for first-order logic.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Verlag
Pages358-372
Number of pages15
Volume1227
ISBN (Print)3540629203, 9783540629207
DOIs
Publication statusPublished - 1997
Externally publishedYes
EventInternational Conference on Analytic Tableaux and Related Methods, TABLEAUX 1997 - Pont-a-Mousson, France
Duration: 13 May 199716 May 1997

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1227
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

OtherInternational Conference on Analytic Tableaux and Related Methods, TABLEAUX 1997
CountryFrance
CityPont-a-Mousson
Period13/5/9716/5/97

Fingerprint

Functional Dependency
Tableau
Tableaux
First-order Logic
Signed
First-order

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Wijesekera, D., Ganesh, M., Srivastava, J., & Nerode, A. (1997). Tableaux for functional dependencies and independencies. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1227, pp. 358-372). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1227). Springer Verlag. https://doi.org/10.1007/BFb0027426

Tableaux for functional dependencies and independencies. / Wijesekera, Duminda; Ganesh, M.; Srivastava, Jaideep; Nerode, Anil.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 1227 Springer Verlag, 1997. p. 358-372 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1227).

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

Wijesekera, D, Ganesh, M, Srivastava, J & Nerode, A 1997, Tableaux for functional dependencies and independencies. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 1227, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1227, Springer Verlag, pp. 358-372, International Conference on Analytic Tableaux and Related Methods, TABLEAUX 1997, Pont-a-Mousson, France, 13/5/97. https://doi.org/10.1007/BFb0027426
Wijesekera D, Ganesh M, Srivastava J, Nerode A. Tableaux for functional dependencies and independencies. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 1227. Springer Verlag. 1997. p. 358-372. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/BFb0027426
Wijesekera, Duminda ; Ganesh, M. ; Srivastava, Jaideep ; Nerode, Anil. / Tableaux for functional dependencies and independencies. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 1227 Springer Verlag, 1997. pp. 358-372 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{bfd38782ab004f94a92bf2676d62bdc2,
title = "Tableaux for functional dependencies and independencies",
abstract = "In this paper we show the application of prefixed-signed tableaux to functional dependencies and independencies. Although functional dependencies and independencies are first-order formulae, a custommade tableau proof procedure is more efficient than a general purpose tableau for first-order logic.",
author = "Duminda Wijesekera and M. Ganesh and Jaideep Srivastava and Anil Nerode",
year = "1997",
doi = "10.1007/BFb0027426",
language = "English",
isbn = "3540629203",
volume = "1227",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "358--372",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - GEN

T1 - Tableaux for functional dependencies and independencies

AU - Wijesekera, Duminda

AU - Ganesh, M.

AU - Srivastava, Jaideep

AU - Nerode, Anil

PY - 1997

Y1 - 1997

N2 - In this paper we show the application of prefixed-signed tableaux to functional dependencies and independencies. Although functional dependencies and independencies are first-order formulae, a custommade tableau proof procedure is more efficient than a general purpose tableau for first-order logic.

AB - In this paper we show the application of prefixed-signed tableaux to functional dependencies and independencies. Although functional dependencies and independencies are first-order formulae, a custommade tableau proof procedure is more efficient than a general purpose tableau for first-order logic.

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

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

U2 - 10.1007/BFb0027426

DO - 10.1007/BFb0027426

M3 - Conference contribution

SN - 3540629203

SN - 9783540629207

VL - 1227

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 358

EP - 372

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

PB - Springer Verlag

ER -