Dynamický datalog

• Main Author: Janušek, Martin
• Other Authors: Vojtáš, Peter
• Format: Dissertation
• Language: Czech
• Published: 2006
• Online Access: http://www.nusl.cz/ntk/nusl-269504

In this study we examine possibilities of integration extensional updates into Datalog. Our research involves also possibility of query evaluation optimization by making intensional rules explicit (materialization). As a result od our approach we present new query language D-Datalog. Our proposal extends Datalog database by set of constraints and set of intensional facts (materialization of intensional database). We introduce possibility of extensional and intensional updates. By intensional updates we mean updates of set of intensional facts so user can directly state, which consequences of intensional clauses should be in materialization. Updates are not executed as soon as they are evaluated. Instead, they are collected and then applied to the database when the query evaluation is completed (non-immediate update semantics). This approach is similar to semantics of relational databases. Prototype implementation of D-Datalog in Java is part of our solution.