Implementation of the CORAL deductive database system
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
A pragmatic approach to software synthesis
IDL '94 Proceedings of the workshop on Interface definition languages
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
An introduction to deductive database languages and systems
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
The glue-nail deductive database system: design, implementation, and evaluation
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
DECLARE and SDS: early efforts to commercialize deductive database technology
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
Transformation-based bottom-up computation of the well-founded model
Theory and Practice of Logic Programming
ACM SIGART Bulletin
Hi-index | 0.00 |