The Implementation of a Deductive Query Language Over an OODB

by: Andrew Dinn, Norman Paton, Howard M Williams, Alvaro A Fernandes, Maria L Barja

Journal of Systems Integration, Vol. 7, No. 3. (1997), pp. 231-261.

View FullText article

Reviews [Write a review of this article]

There are no reviews of this article

Find related articles from these CiteULike users

alanrw

Find related articles with these CiteULike tags

no-tag

Abstract

The ROCK and 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.

@article{citeulike:2871254, abstract = {The ROCK and 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 = {Dinn, Andrew and Paton, Norman and Williams, Howard M. and Fernandes, Alvaro A. and Barja, Maria L. }, citeulike-article-id = {2871254}, doi = {http://dx.doi.org/10.1023/A:1008227303817}, journal = {Journal of Systems Integration}, number = {3}, pages = {231--261}, posted-at = {2008-06-07 14:44:53}, priority = {2}, title = {The Implementation of a Deductive Query Language Over an OODB}, url = {http://dx.doi.org/10.1023/A:1008227303817}, volume = {7}, year = {1997} }

RIS record

TY - JOUR ID - citeulike:2871254 L3 - citeulike-article-id:2871254 TI - The Implementation of a Deductive Query Language Over an OODB JF - Journal of Systems Integration VL - 7 IS - 3 SP - 231 EP - 261 N2 - The ROCK and 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. AU - Dinn, Andrew AU - Paton, Norman AU - Williams, Howard AU - Fernandes, Alvaro AU - Barja, Maria PY - 1997//01/ UR - http://dx.doi.org/10.1023/A:1008227303817 ER -

RIS BibTeX