ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

Conjectures and Refutations in Database Design and Dependency Theory.

Jyrki Nummenmaa, Peter Thanisch: Conjectures and Refutations in Database Design and Dependency Theory. ICDT 1990: 215-228
@inproceedings{DBLP:conf/icdt/NummenmaaT90,
  author    = {Jyrki Nummenmaa and
               Peter Thanisch},
  editor    = {Serge Abiteboul and
               Paris C. Kanellakis},
  title     = {Conjectures and Refutations in Database Design and Dependency
               Theory},
  booktitle = {ICDT'90, Third International Conference on Database Theory, Paris,
               France, December 12-14, 1990, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {470},
  year      = {1990},
  isbn      = {3-540-53507-1},
  pages     = {215-228},
  ee        = {db/conf/icdt/NummenmaaT90.html},
  crossref  = {DBLP:conf/icdt/90},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 2 Issue 2, EDBT, ICDT, MFDBS, DASFAA" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX

References

[Ang87]
Dana Angluin: Learning Regular Sets from Queries and Counterexamples. Inf. Comput. 75(2): 87-106(1987) BibTeX
[Atk88]
John Atkins: A Note on Minimal Covers. SIGMOD Record 17(4): 16-21(1988) BibTeX
[BFMY83]
Catriel Beeri, Ronald Fagin, David Maier, Mihalis Yannakakis: On the Desirability of Acyclic Database Schemes. J. ACM 30(3): 479-513(1983) BibTeX
[Bled82]
W. W. Bledsoe: Using Examples to Generate Instantiations of Set Variables. IJCAI 1983: 892-901 BibTeX
[Fag83]
Ronald Fagin: Degrees of Acyclicity for Hypergraphs and Relational Database Schemes. J. ACM 30(3): 514-550(1983) BibTeX
[Mai83]
David Maier: The Theory of Relational Databases. Computer Science Press 1983, ISBN 0-914894-42-0
Contents BibTeX
[NuTh90]
Jyrki Nummenmaa, Peter Thanisch: Yet Another Note on Minimal Covers. SIGMOD Record 19(3): 30(1990) BibTeX
[Rob65]
John Alan Robinson: A Machine-Oriented Logic Based on the Resolution Principle. J. ACM 12(1): 23-41(1965) BibTeX
[Var88]
...
[Win82]
Steve Winker: Generation and Verification of Finite Models and Counterexamples Using an Automated Theorem Prover Answering Two Open Questions. J. ACM 29(2): 273-284(1982) BibTeX
[Yu÷86]
Li-Yan Yuan, Z. Meral Özsoyoglu: Unifying Functional and Multivalued Dependencies for Relational Database Design. PODS 1986: 183-190 BibTeX
[Yu÷87]
Li-Yan Yuan, Z. Meral Özsoyoglu: Logical Design of Relational Database Systems. PODS 1987: 38-47 BibTeX

Referenced by

  1. Mark Levene, George Loizou: Database Design for Incomplete Relations. ACM Trans. Database Syst. 24(1): 80-125(1999)
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
Lecture Notes in Computer Science: Copyright © by Springer
Digitization of EDBT/ICDT/MFDBS proceedings was supported by the EDBT Endowment.
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:19:02 2009