Вы здесь

Главная

datalog

Связанные издания:

Active-U-Datalog: Integrating Active Rules in a Logical Update Language
A Data Model for Flexible Querying
A Functional Approach to Database Updates
A mixed Approach to Negation in General Datalog Programs
A Probabilistic View of Datalog Parallelization
Complexity and Expressive Power of Disjunctive Logic Programming and Datalog
Computing the Well-founded Semantics for Constraint Extensions of Datalog
Constant Propagation Versus Join Reordering in Datalog
Construction of Belief Sets for Logic Programs and Default Theories
Controlling the Search in Bottom-Up Evaluation
Datalog++: A Basis for Active Object-Oriented Databases
Datalog and Description Logics: Expressive Power
Datalog and TwoGroups and C++
Datalog Automata
Datalog Queries of Set Constraint Databases
DATALOG Queries with Stratified Negation and Choice: from P to D
DATALOG with Contraints: A Foundation for Trust Management Languages
Datalog with Integer Periodicity Constraints
Datalog with Non-Deterministic Choice Computers NDB-PTIME
Decidability and undecidability of equivalence for linear Datalog, with applications to normal-form optimizations
Deterministic and Non-Deterministic Stable Model Semantics for Unbound DATALOG Queries
Deterministic Semantics for Datalog: Complexity and Expressive Power
Dynamic Programming in Datalog with Aggregates
Efficient Execution of Recursive Queries through Controlled Binding Propagation
Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics
Graph-Based Processing of Logic Programs
Ideal Refinement of Datalog Programs
Incremental Evaluation of Datalog Queries
Increment Boundedness and Nonrecursive Incremental Evaluation of Datalog Queries
Knowledge Representation for Information Integration
Magic Checking: Constraint Checking for Database Query Optimisation
Magic Sets and Bottom-Up Evaluation of Well-Founded Models
Methods and Rules
NP Optimization Problems in Datalog
On Expressing Topological Connectivity in Spatial Datalog
On Transformations into Linear Database Logic Programs
Optimizing Incremental Computation of Datalog Programs with Non-deterministic Semantics
Practical Behavior of Parallelization Strategies for Datalog
Preservation of Integrity Constraints in Definite DATALOG Programs
Querying Datalog Programs with Temporal Logic
Relationlog: A Typed Extension to Datalog with Sets and Tuples
Representing Inheritance and Overriding in DATALOG
Runtime Redundancy Properties of DATALOG Programs
Safe Datalog Queries with Linear Constraints
Safe Stratified Datalog with Integer Order does not Have Syntax
Safe Stratified Datalog with Integer Order Programs
Sequence Datalog: Declarative String Manipulation in Databases
Some Positive Results for Boundedness of Multiple Recursive Rules
Termination Properties of Spatial Datalog Programs
Top-Down beats Bottom-Up for Constraint Extensions of Datalog