Merging relational database technology with constraint technology

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

Volumn 1181, Issue , 1996, Pages 409-419

  Voronkov, Andrei ^a  

^a UPPSALA UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

INTELLIGENT DATABASES;

CONSTRAINT SATISFACTION; CONSTRAINT SOLVING; CONSTRAINT TECHNOLOGY; FINITE STATE SYSTEMS; LARGE AMOUNTS; PROGRAM SYNTHESIS; RELATIONAL DATABASE;

APPLICATION PROGRAMS;

EID: 77951880806     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-62064-8_34     Document Type: Conference Paper

References (13)

1. S. Abiteboul, R. Hull, and V. Vianu. Foundation of Databases. Addison-Wesley Publishing Co., 1995.
2. E. Dantsin. Two propositional proof systems based on the splitting method. Journal of Soviet Mathematics, 22(3): 1293-1305, 1983.
3. P. Graf. Substitution tree indexing. In J. Hsiang, editor, Rewriting Techniques and Applications, volume 914 of Lecture Notes in Computer Science, pages 117-131, 1995.
4. P. Graf. Term Indexing, volume 1053 of Lecture Notes in Computer Science. Springer Verlag, 1996.
5. E.L. Lusk. Controlling redundancy in large search spaces: Argonne-style theorem proving through the years. In A. Voronkov, editor, Logic Programming and Automated Reasoning. International Conference LPAR'92., volume 624 of Lecture Notes in Artificial Intelligence, pages 96-106, St.Petersburg, Russia, July 1992.
6. G. Mints and E. Tyugu. Justification of the structural synthesis of programs. Science of Computer Programming, 2(3):215-240, 1982.
7. E. Tyugu. Declarative programming in a type theory. In B. Moeller, editor, Constructing Programs from Specifications, pages 451-472. North Holland, 1991.
8. J.D. Ullman. Database and Knowledge-Base Systems, volume I. Computer Science Press, 1988.
9. P. Van Hentenryck. Constraint Satisfaction in Logic Programming. Logic Programming Series. MIT Press, 1989.
10. L. Vieille. Recursive query processing: the power of logic. Theoretical Computer Science, 69(1): 1-53, 1989.
11. A. Voronkov. The anatomy of Vampire: Implementing bottom-up procedures with code trees. Journal of Automated Reasoning, 15(2):237-265, 1995.
12. A. Voronkov. Merging relational database technology with the constraint technology. UPMAIL Technical Report, Uppsala University, Computing Science Department, 1996. To appear.
13. Larry Wos, Ross Overbeek, and Ewing Lusk. Subsumption, a sometimes undervalued procedure. In Jean-Louis Lassez and Gordon Plotkin, editors, Computational Logic. Essays in Honor of Alan Robinson., pages 3-40. The MIT Press, Cambridge, MA, 1991.