On Foundations of Constraint Optimization.
Sang-goo Lee:
On Foundations of Constraint Optimization.
DASFAA 1995: 372-379@inproceedings{DBLP:conf/dasfaa/Lee95,
author = {Sang-goo Lee},
editor = {Tok Wang Ling and
Yoshifumi Masunaga},
title = {On Foundations of Constraint Optimization},
booktitle = {Database Systems for Advanced Applications '95, Proceedings of
the 4th International Conference on Database Systems for Advanced
Applications (DASFAA), Singapore, April 11-13, 1995},
publisher = {World Scientific},
series = {Advanced Database Research and Development Series},
volume = {5},
year = {1995},
isbn = {981-02-2220-3},
pages = {372-379},
ee = {db/conf/dasfaa/Lee95.html},
crossref = {DBLP:conf/dasfaa/95},
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
- [1]
- Hervé Gallaire, Jack Minker, Jean-Marie Nicolas:
Logic and Databases: A Deductive Approach.
ACM Comput. Surv. 16(2): 153-185(1984) BibTeX
- [2]
- ...
- [3]
- Hervé Gallaire, Jack Minker, Jean-Marie Nicolas:
Logic and Databases: A Deductive Approach.
ACM Comput. Surv. 16(2): 153-185(1984) BibTeX
- [4]
- ...
- [5]
- ...
- [6]
- William McCune, Lawrence J. Henschen:
Maintaining state constraints in relational databases: a proof theoretic basis.
J. ACM 36(1): 46-68(1989) BibTeX
- [7]
- William McCune:
Un-Skolemizing Clause Sets.
Inf. Process. Lett. 29(5): 257-263(1988) BibTeX
- [8]
- ...
- [9]
- ...
BibTeX
ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]
DASFAA 1995 Proceedings: Copyright © by World Scientific Publishing Pte Ltd.
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:05:29 2009