The implementation of a deductive query language over an OODB

Andrew Dinn, Norman Paton, M. Howard Williams, A. A A Fernandes, Maria L. Barja

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)


The ROCK & ROLL database system cleanly integrates deductive and object-oriented capabilities by defining an imperative programming language, ROCK, and a declarative, deductive language. ROLL, over a common object-oriented (OO) data model. Existing techniques for evaluation and optimization of deductive languages fail to address key requirements imposed by ROLL such as: strict typing; placement of deductive methods (predicates) within classes; encapsulation; overriding and late binding. This paper describes the task of implementing an evaluator and optimizer for ROLL, explaining how existing implementation techniques for deductive languages were adapted to meet these requirements and extended to support novel types of optimization.

Original languageEnglish
Pages (from-to)231-261
Number of pages31
JournalJournal of Systems Integration
Issue number3-4
Publication statusPublished - 1997


  • Deductive object-oriented database query implementation


Dive into the research topics of 'The implementation of a deductive query language over an OODB'. Together they form a unique fingerprint.

Cite this