Workshop on Deductive Databases

Keyphrases

Publications

1990

Shalom Tsur, Frank Olken, Dalit Naor
Deductive Databases for Genomic Mapping (Extended Abstract). Workshop on Deductive Databases (1990)
Dennis S. Arnon
Towards a Deductive Database for Elementary Algebra and Geometry. Workshop on Deductive Databases (1990)
Yves Caseau
Extending Object-Oriented Deduction Towards Constraint Logic Programming. Workshop on Deductive Databases (1990)
Geoffrey Phipps
Glue: A Deductive Database Programming Language (Extended Abstract). Workshop on Deductive Databases (1990)
Proceedings of the Workshop on Deductive Databases held in conjunction with the North American Conference on Logic Programming, Austin, Texas, USA, November 1, 1990 Workshop on Deductive Databases (1990)
Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey
Design Overview of the Aditi Deductive Database System. Workshop on Deductive Databases (1990)
Raghu Ramakrishnan, Per Bothner, Divesh Srivastava, S. Sudarshan
CORAL - A Database Programming Language. Workshop on Deductive Databases (1990)