Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
целостность
Связанные издания:
Consistency Management in Runtime Evolving Concurrent Information Systems: A CO-NETS-Based Approach
Consistent Handling of Integrity Constraints and Extensional Assertions for Schema Integration
Constraint Deduction in an Interval-based Temporal Logic
Constraint Logic Programming Applied to Hypothetical Reasoning in Chemistry
Constraint Logic Programming: From Theory to Applications
Constraint Satisfiability in Object-Oriented Databases
Contradicting Conventional Wisdom in Constraint Satisfaction
Coping with Inconsistent Constraint Specifications
Cryptanalysis and Protocol Failures
Data Integration under Integrity Constraints
Dealing with Modification Requests During View Updating and Integrity Constraint Maintenance
Declarative Specifications of Complex Transactions
Deductive Integrity Maintenance in an Object-Oriented Setting
Dependable Computing - EDCC-2: Proc./Second European Dependable Computing Conference. Taormina,Italy,October 1996
Desclarative Specification of Constraint Maintenance
Differential Relational Calculus for Integrity Maintenance
Distributed Information System Design Based on Integrity Constraints Optimization: The FKDO Algorithm
Does Licensing Require New Access Control Techniques?
Efficient and Complete Tests for Database Integrity Constraint Checking
Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains
Efficiently Mapping Integrity Constraints from Relational Database to XML Document
Employing Integrity Constraints for Query Modification and Intensional Answer Generation in Multi-Database Systems
Ensuring Semantic Integrity of Reusable Objects (Panel)
Equality and Constrained Resolution
Estimating Range Queries Using Aggregate Data with Integrity Constraints: A Probablistic Approach
Extending the ODMG Object Model with Composite Objects
Feasibility Conditions and Preference Criteria in Querying and Repairing Inconsistent Databases
Formal Specification and Verification of Mobile Agent Data Integrity Properties: A Case Study
From a Passive to an Active Database Supporting Exceptions
Generating Active Rules from High-Level Specifications
Global Consistency for Continuous Constraint
Global Extensional Assertions and Local Integrity Constraints in Federated Schemata
Guidance on the Use of Ada95 in High Integrity Systems
Hierarchical, Adaptive Cache Consistency in a Page Server OODBMS
High Integrity Ravenscar
Holistic Design of a Programming System
How to Tackle Schema Validation by View Updating
Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language
Improving Database Design through the Analysis of Relationships
Improving Integrity Constraint Checking for Stratified Deductive Databases
Improving Integrity Constraint Enforcement by Extended Rules and Dependency Graphs
Imroving the Concurrency of the Integrity Checks and Write Operations
Inducing Integrity Constraints from Knowledge Bases
Inferring 3-Dimensional Constraints with DEVI
Infinite Behaviour and Fairness in Concurrent Constraint Programming
Information Systems Security Design Methods: Implications for Information Systems Development
Integrating Database and Programming Language Constraints
Integrity aspects of quasi serializability
Integrity Constraint Checking in Chimera
Integrity Constraint Enforcement by Means of Trigger Templates
« первая
‹ предыдущая
1
2
3
4
следующая ›
последняя »