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
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
- 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