On Implementing Structured Document Query Facilities on Top of a DOOD

摘要

The paper consists of two parts. In the first part we introduce a model for structured document databases where we propose Boolean-valued attribute grammars (BAGs) as a query facility. In the second part we show that DOOD technology offers a natural platform on top of which this model as a whole can be conveniently implemented. Each structured document database is mapped to an OO-database and each BAG is translated into deductive rules. Our translation is such that the well-founded semantics and the naive bottom-up fixpoint procedure of the deductive rules capture the evaluation fo the BAG. We also present a modification of the translation suited to the inflationary semantics.