Вы здесь

Главная

дедуктивный

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

A Temporal Extension of the Deductive Database System ProQuel
A Transformation System for Deductive Database Modules with Perfect Model Semantics
Attribute-Oriented View Definitions in Relational and Deductive Databases
A unification graph with constraints for intelligent backtracking in deduction systems
Automated Sisal program verification with ACL2
Automatic Generation of Compiled Forms for Linear Recursions
Bottom-up Enhancements of Deductive Systems
Calculating Digital Counters
Cardinality Consistency of Derived Objects in DOOD Systems
Cardinality Constraints in Disjunctive Deductive Databases
CENTAUR: Towards a "Software Tool Box" for Programming Environments
Clausal Deductive Databases and a General Framework for Semantics in Disjunctive Deductive Databases
CLP(AD) as a Deductive Database Language with Updates
Compilation and Simplification of Temporal Integrity Constraints
Complex Structures in (Deductive) Database Systems: Variables and Open Property Sets
Database Reasoning - A Deductive Framework for Solving Large and Complex Problems by Means of Subsumption
Database Updating Revisited
Datalog: a self-contained tutorial. Part one
Declarative Foundations of Secure Deductive Databases
Declarative Link Specifications for Reuse of Hypermedia
Declarative Semantics for Active Rules
Deduction and Deductive Databases for Geographic Data Handling
Deductive and Active Processing in Database and Knowledge Base Systems
Deductive and Object Data Languages: A Quest for Integration
Deductive and Object-Oriented Databases
Deductive and Object-Oriented Databases: Proc./5th Intern. Conf., DOOD 97. Montreux, Switzerland, December 1997
Deductive and Object-Oriented Databases: Proc./ Fourth International Conference, DOOD 95. Singapore, December 1995
Deductive and Object-Oriented Databases: Proc./Third Intern. Conf., DOOD 93. Phoenix, Arizona, USA, December 1993
Deductive Database Support for Data Visualization
Deductive Databases with Conditional Facts
Deductive Databases with Incomplete Information
Deductive Database Systems: Applications and Programming
Deductive Integrity Maintenance in an Object-Oriented Setting
Deductive Object-Oriented Database Systems: A Survey
Deductive Object-Oriented Language and its Extension for Knowledge Information Processing
Deductive Object-Oriented Programming for Knowledge-base Independence
Deductive software building
Deductive Verification of the Classical Sliding Window Protocol
Deep Equality Revisited
Dependency-Directed Binding of Variables for Constraint Logic Programming
Deriving Incremental Production Rules for Deductive Data
Design and Implementation of Rock & Roll: A Deductive Object-Oriented Database System
Design and Implementation of the OLOG Deductive Object-Oriented Database Management System
Determining Object Interaction in Object-Oriented Deductive Conceptual Models
Disjunctive Deductive Databases
DO2: Deductive Object-Oriented Database System
Drawing Updates From Derivations
Dynamic Deductive Data Bases with Steady Behaviour
Dynamic Programming in Datalog with Aggregates
Efficient Recursive Aggregation and Negation in Deductive Databases