Вы здесь

Главная

дедуктивный

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

Negation and Aggregates in Recursive Rules: The LDL++ Approach
Nonmonotonic Logic Programming
Normalization and Compilation of Deductive and Object-Oriented Database Programs for Efficient Query Evaluation
Normalization of Linear Recursions Based on Graph Transformations
Object Interaction in Object-Oriented Deductive Conceptual Models
OLOG: A Deductive Object Database Language (Extended Abstract)
On Active Deductive Databases: The Statelog Approach
On a Theory of Probabilistic Deductive Databases
On Homeostatic Behavior of Dynamic Deductive Data Base
On the Power of Algebras with Recursion
On the Saturation Principle for a Linear Temporal Logic
On the Semantics of Negations in Logic Programming
On the Unification of Active Databases and Deductive Databases
On Transformations into Linear Database Logic Programs
Operation-Oriented Query Language Approach for Recursive Queries - Part 2. Prototype Implementation and its Integration with Relational Databases
Operation-Oriented Query Language Approach for Recursive Queries - Part I. Functional Definition
Optimizing Incremental Computation of Datalog Programs with Non-deterministic Semantics
Paraconsistent Disjunctive Deductive Databases
Partial View Materialization in Deductive Databases - An Empirical Study
Passive and Active Rules in Deductive Databases
Petri-Netz-Darstellung von Deduktiven Datenbanken
Preservation of Integrity Constraints in Definite DATALOG Programs
Probabilistic Deductive Databases
Programming Languages and Systems: Proc./9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 2011
Program synthesis using realizability
Properties of Steady Behavior of Dynamic Deductive Data Bases. Part II - Homeostaticity
Properties of Steady Behavior of Dynamic Deductive Data Bases. Part I. -stability and Promise
ProQuel:Using Prolog to Implement a Deductive Database System
Query Classes
ROL: A Deductive Object Base Language
Rules in Database Systems
Rules in Database Systems: Proc./Third Intern. Workshop, RIDS 97. Skovde, Sweden, June 1997
Safe Computation of the Well-Founded Semantics of Datalog Queries
Semantic Optimization of Queries in Deductive Object-Oriented Database
Semantic Query Optimization in Deductive Object-Oriented Databases
Semantics of Disjunctive Deductive Databases
Solving Deductive Planning Problems using Program Analysis and Transformation
Solving Demand Versions of Interprocedural Analysis Problems
Some Notes on Knowledge Assimilation in Deductive Databases
Some Resent Developments in Deductive Databases
Sorted HiLog: Sorts in Higher-Order Logic Data Languages
Sprachliche Formulierung rekursiver und iterativer Anfragen in Datenbanksystemen
Stationary Semantics for Disjunctive Logic Programs and Deductive Databases
Subsumption-Free Bottom-up Evaluation of Logic Programs with Partially Instantiated Data Structures
Syperfiniteness of Query Answers in Deductive Databases: An Automata-Theoretic Approach
Tabulated Resolution for Well Founded Semantics
The DADES/GP Approach to Automatic Generation of Information System Prоtotypes from a Deductive Conceptual Model
The Deductive Syntesis of Database Transactions
The EKS-V1 System
The Expressive Power of Partial Models for Disjunctive Deductive Databases