On Foundations of Constraint Optimization.

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

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An2-2 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

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]

...