@inproceedings{bb4b5d60adce4ed6843cd7d3659f59fb,
title = "The Implementation of a Deductive Query Language over an OODB",
abstract = "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.",
author = "Andrew Dinn and Paton, {Norman W} and Williams, {M Howard} and Alvaro Fernandes and Barja, {Maria L}",
note = "Citations (as of Sep 2009): 1; 4th International Conference Deductive and Object-Oriented Databases, DOOD1995 ; Conference date: 04-12-1995 Through 07-12-1995",
year = "1995",
doi = "10.1007/3-540-60608-4_39",
language = "English",
isbn = "3-540-60608-4",
series = "Lecture Notes in Computer Science",
publisher = "Springer Nature",
pages = "143--160",
editor = "Ling, {Tok Wang} and Mendelzon, {Alberto O} and Laurent Vieille",
booktitle = "Deductive and Object-Oriented Databases",
address = "United States",
}