On the public citation graph
Logic for improving integrity checking in relational data bases?
0 signed · 302 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-07854-1_159openalex-snapshot
On semantic issues in the relational model of data
inferredcites →https://doi.org/10.1007/978-1-4684-2694-6_4openalex-snapshot
A Data Base Search Problem
inferredcites →https://doi.org/10.1007/978-1-4684-3384-5_12openalex-snapshot
Integrity Checking in Deductive Data Bases
inferredcites →https://doi.org/10.1007/978-1-4684-3384-5_15openalex-snapshot
High Level Data Base Query Languages
inferredcites →https://doi.org/10.1007/978-1-4684-3384-5_2openalex-snapshot
Data Base: Theory vs. Interpretation
inferredcites →https://doi.org/10.1007/978-1-4684-3384-5_8openalex-snapshot
DEDUCE 2: Further Investigations of Deduction in Relational Data Bases
inferredcites →https://doi.org/10.1016/b978-0-934613-53-8.50034-0openalex-snapshot
FAST MAINTENANCE OF SEMANTIC INTEGRITY ASSERTIONS USING REDUNDANT AGGREGATE DATA**This work was supported by the National Science Foundation under grants MCS-77-05314, MCS-79-07762, and MCS-79-08365
inferredcites →https://doi.org/10.1016/b978-0-934613-53-8.50035-2openalex-snapshot
A SOPHISTICATE'S INTRODUCTION TO DATABASE NORMALIZATION THEORY††This work was supported in part by the National Science Foundation under Grant MCS-77-05314.
inferredcites →https://doi.org/10.1016/c2009-0-22103-9openalex-snapshot
Symbolic Logic and Mechanical Theorem Proving
inferredcites →https://doi.org/10.1016/c2009-0-22107-6openalex-snapshot
A Mathematical Introduction to Logic
inferredcites →https://doi.org/10.1145/1282480.1282483openalex-snapshot
Semantic integrity in a relational data base system
inferredcites →https://doi.org/10.1145/1282480.1282484openalex-snapshot
Functional specifications of a subsystem for data base integrity
inferredcites →https://doi.org/10.1145/320107.320112openalex-snapshot
Efficient optimization of a class of relational expressions
inferredcites →https://doi.org/10.1145/322344.322347openalex-snapshot
Horn clauses and database dependencies
inferredcites →https://doi.org/10.1145/500080.500091openalex-snapshot
Implementation of integrity constraints and views by query modification
inferredcites →https://doi.org/10.1145/509252.509268openalex-snapshot
Efficient optimization of a class of relational expressions
inferredcites →https://doi.org/10.1145/509252.509269openalex-snapshot
First order logic formalization for functional, multivalued and mutual dependencies
inferredcites →https://doi.org/10.1145/509252.509290openalex-snapshot
Efficient monitoring of database assertions
inferredcites →https://doi.org/10.1145/800105.803397openalex-snapshot
Optimal implementation of conjunctive queries in relational data bases
inferredcites →https://doi.org/10.1145/800141.804660openalex-snapshot
Horn clauses and database dependencies (Extended Abstract)
inferredcites →https://doi.org/10.1201/b13782-17openalex-snapshot
An Introduction to Mathematical Logic
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/cpe.608openalex-snapshot
Consistency management in object‐oriented databases
inferred← citeshttps://doi.org/10.1006/inco.1998.2731openalex-snapshot
Verifiable Properties of Database Transactions
inferred← citeshttps://doi.org/10.1006/jcss.1997.1520openalex-snapshot
Dyn-FO: A Parallel, Dynamic Complexity Class
inferred← citeshttps://doi.org/10.1007/1-4020-7901-x_11openalex-snapshot
Reducing Disruption in Time-Tabled Condition Monitoring
inferred← citeshttps://doi.org/10.1007/11546924_59openalex-snapshot
Transaction Management with Integrity Checking
inferred← citeshttps://doi.org/10.1007/11547686_9openalex-snapshot
Efficient Integrity Checking for Databases with Recursive Views
inferred← citeshttps://doi.org/10.1007/11591191_49openalex-snapshot
Incremental Integrity Checking: Limitations and Possibilities
inferred← citeshttps://doi.org/10.1007/11890393_15openalex-snapshot
Checking Violation Tolerance of Approaches to Database Integrity
inferred← citeshttps://doi.org/10.1007/11891451_4openalex-snapshot
Capturing Quantified Constraints in FOL, Through Interaction with a Relationship Graph
inferred← citeshttps://doi.org/10.1007/11896548_19openalex-snapshot
Efficient Integrity Checking over XML Documents
inferred← citeshttps://doi.org/10.1007/11901181_39openalex-snapshot
Optimising Abstract Object-Oriented Database Schemas
inferred← citeshttps://doi.org/10.1007/11916277_20openalex-snapshot
A Relaxed Approach to Integrity and Inconsistency in Databases
inferred← citeshttps://doi.org/10.1007/11965893_13openalex-snapshot
Complexity of Consistent Query Answering in Databases Under Cardinality-Based and Incremental Repair Semantics
inferred← citeshttps://doi.org/10.1007/3-540-19074-0_69openalex-snapshot
A uniform approach to constraint satisfaction and constraint satisfiability in deductive databases
inferred← citeshttps://doi.org/10.1007/3-540-44404-1_20openalex-snapshot
Querying Inconsistent Databases
inferred← citeshttps://doi.org/10.1007/3-540-44803-9_28openalex-snapshot
An Abstract Database Machine for Cost Driven Design of Object-Oriented Database Schemas
inferred← citeshttps://doi.org/10.1007/3-540-45017-3_14openalex-snapshot
Analysing the Impact of Adding Integrity Constraints to Information Systems
inferred← citeshttps://doi.org/10.1007/3-540-45754-2_5openalex-snapshot
LOIS: The “Lights Out” Integrity Subsystem
inferred← citeshttps://doi.org/10.1007/3-540-45816-6_40openalex-snapshot
A Flexible Cost Model for Abstract Object-Oriented Database Schemas
inferred← citeshttps://doi.org/10.1007/3-540-46466-2_7openalex-snapshot
Nested Transactions with Integrity Constraints
inferred← citeshttps://doi.org/10.1007/3-540-48054-4_7openalex-snapshot
Specification and Implementation of Temporal Databases in a Bitemporal Event Calculus
inferred← citeshttps://doi.org/10.1007/3-540-48751-4_23openalex-snapshot
Generalizing Refinement Operators to Learn Prenex Conjunctive Normal Forms
inferred← citeshttps://doi.org/10.1007/3-540-50171-1_21openalex-snapshot
Transformation of dynamic integrity constraints into transaction specifications
inferred← citeshttps://doi.org/10.1007/3-540-50171-1_4openalex-snapshot
Improving integrity constraint checking in deductive databases
inferred← citeshttps://doi.org/10.1007/3-540-50171-1_7openalex-snapshot
Efficient consistency control in deductive databases
inferred← citeshttps://doi.org/10.1007/3-540-51251-9_23openalex-snapshot
A specification language for static, dynamic and deontic integrity constraints
inferred← citeshttps://doi.org/10.1007/3-540-51251-9_8openalex-snapshot
Logical rewritings for improving the evaluation of quantified queries
inferred← citeshttps://doi.org/10.1007/3-540-53507-1_76openalex-snapshot
Logic and Databases: An assessment
inferred← citeshttps://doi.org/10.1007/3-540-53507-1_82openalex-snapshot
Improving the concurrency of integrity checks and write operations
inferred← citeshttps://doi.org/10.1007/3-540-53557-8_24openalex-snapshot
Integrity and recursion: two key issues for deductive databases
inferred← citeshttps://doi.org/10.1007/3-540-55015-1_25openalex-snapshot
From relational to object-oriented integrity simplification
inferred← citeshttps://doi.org/10.1007/3-540-55015-1_26openalex-snapshot
On the efficient computation of the difference between consecutive database states
inferred← citeshttps://doi.org/10.1007/3-540-55460-2_9openalex-snapshot
Integrity verification in knowledge bases
inferred← citeshttps://doi.org/10.1007/3-540-56039-4_48openalex-snapshot
Incremental evaluation of Datalog queries
inferred← citeshttps://doi.org/10.1007/3-540-56282-6_13openalex-snapshot
A sensible least Herbrand semantics for untyped vanilla meta-programming and its extension to a limited form of amalgamation
inferred← citeshttps://doi.org/10.1007/3-540-56804-2_12openalex-snapshot
Towards intelligent databases
inferred← citeshttps://doi.org/10.1007/3-540-57234-1_20openalex-snapshot
On the maintenance of implication integrity constraints
inferred← citeshttps://doi.org/10.1007/3-540-57419-0_4openalex-snapshot
Consistency checking in object oriented databases: A behavioral approach
inferred← citeshttps://doi.org/10.1007/3-540-58235-5_40openalex-snapshot
A strategy for semantic integrity enforcement in a parallel database machine
inferred← citeshttps://doi.org/10.1007/3-540-58435-8_225openalex-snapshot
Improving integrity constraint checking for stratified deductive databases
inferred← citeshttps://doi.org/10.1007/3-540-58601-6_99openalex-snapshot
Efficient and complete tests for database integrity constraint checking
inferred← citeshttps://doi.org/10.1007/3-540-60365-4_132openalex-snapshot
Compilation and simplification of temporal integrity constraints
inferred← citeshttps://doi.org/10.1007/3-540-60584-3_22openalex-snapshot
Database schema design theory: Achievements and challenges
inferred← citeshttps://doi.org/10.1007/3-540-60608-4_52openalex-snapshot
Transaction safety in deductive object-oriented databases
inferred← citeshttps://doi.org/10.1007/3-540-61292-0_15openalex-snapshot
Handling conceptual model validation by planning
inferred← citeshttps://doi.org/10.1007/3-540-61442-7_5openalex-snapshot
The development of a semantic integrity constraint subsystem for a distributed database (SICSDD)
inferred← citeshttps://doi.org/10.1007/3-540-62501-1_31openalex-snapshot
Integrity constraint checking in Chimera
inferred← citeshttps://doi.org/10.1007/3-540-62501-1_32openalex-snapshot
SICSDD: Techniques and implementation
inferred← citeshttps://doi.org/10.1007/978-0-387-34913-8_10openalex-snapshot
Compiling a Declarative High-Level Language for Semantic Integrity Constraints
inferred← citeshttps://doi.org/10.1007/978-0-387-35317-3_4openalex-snapshot
Dynamic integrity constraints definition and enforcement in databases: a classification framework
inferred← citeshttps://doi.org/10.1007/978-0-387-35317-3_6openalex-snapshot
Query Answering in Information Systems with Integrity Constraints
inferred← citeshttps://doi.org/10.1007/978-0-387-35587-0_12openalex-snapshot
Flexible Security Policies in SQL
inferred← citeshttps://doi.org/10.1007/978-0-387-35693-8_1openalex-snapshot
Concurrent Checking of Global Cross-Database Integrity Constraints
inferred← citeshttps://doi.org/10.1007/978-1-4419-8656-6_19openalex-snapshot
Database Internal Applications
inferred← citeshttps://doi.org/10.1007/978-1-4471-3209-7_17openalex-snapshot
Enforcing Integrity Constraints in Database Programming Languages
inferred← citeshttps://doi.org/10.1007/978-1-4471-3225-7_22openalex-snapshot
Constraint Maintenance using Generated Methods in the P/FDM Object-Oriented Database
inferred← citeshttps://doi.org/10.1007/978-1-4471-3564-7_17openalex-snapshot
First-Order Incremental Evaluation of Datalog Queries
inferred← citeshttps://doi.org/10.1007/978-1-4471-3864-8_4openalex-snapshot
Specifying Deductive Databases and Integrity Constraints in Meta-logic
inferred← citeshttps://doi.org/10.1007/978-1-4612-2870-7_18openalex-snapshot
Foundations of Multilevel Databases
inferred← citeshttps://doi.org/10.1007/978-1-4612-4980-1_39openalex-snapshot
Control of Search and Knowledge Acquisition in Large-Scale KBMS
inferred← citeshttps://doi.org/10.1007/978-1-4613-1881-1_39openalex-snapshot
Semantic Data Organization on a Generalized Data Management System
inferred← citeshttps://doi.org/10.1007/978-1-4613-1881-1_47openalex-snapshot
Two Classes of Easily Tested Integrity Constraints: Complacent and FD-complacent Integrity Constraints
inferred← citeshttps://doi.org/10.1007/978-1-4614-8265-9_980openalex-snapshot
FOL Modeling of Integrity Constraints (Dependencies)
inferred← citeshttps://doi.org/10.1007/978-1-4615-5137-9_10openalex-snapshot
Foundations for Integrity Independence in Relational Databases
inferred← citeshttps://doi.org/10.1007/978-1-4615-9385-0_6openalex-snapshot
Compiling Constraint-Checking Programs from First-Order Formulas
inferred← citeshttps://doi.org/10.1007/978-1-4615-9385-0_7openalex-snapshot
Applications of Finite Differencing to Database Integrity Control and Query/Transaction Optimization
inferred← citeshttps://doi.org/10.1007/978-1-4757-6916-6_20openalex-snapshot
Validation, Verification and Integrity in Knowledge and Data Base Systems: Future Directions
inferred← citeshttps://doi.org/10.1007/978-1-4899-7993-3_980-2openalex-snapshot
FOL Modeling of Integrity Constraints (Dependencies)
inferred← citeshttps://doi.org/10.1007/978-3-030-06170-8_3openalex-snapshot
Databases and Artificial Intelligence
inferred← citeshttps://doi.org/10.1007/978-3-031-43513-3_1openalex-snapshot
Range-Restricted and Horn Interpolation through Clausal Tableaux
inferred← citeshttps://doi.org/10.1007/978-3-319-07617-1_16openalex-snapshot
Scalable Uncertainty-Tolerant Business Rules
inferred← citeshttps://doi.org/10.1007/978-3-319-21413-9_15openalex-snapshot
Data Consistency: Toward a Terminological Clarification
inferred← citeshttps://doi.org/10.1007/978-3-319-61893-7_7openalex-snapshot
A Short Account of Techniques for Assisting Users in Mastering Big Data
inferred← citeshttps://doi.org/10.1007/978-3-540-24627-5_4openalex-snapshot
Simplification of Integrity Constraints for Data Integration
inferred← citeshttps://doi.org/10.1007/978-3-540-25938-1_16openalex-snapshot
Simplification of Database Integrity Constraints Revisited: A Transformational Approach
inferred← citeshttps://doi.org/10.1007/978-3-540-25957-2_28openalex-snapshot
Simplification of Integrity Constraints with Aggregates and Arithmetic Built-Ins
inferred← citeshttps://doi.org/10.1007/978-3-540-30504-0_11openalex-snapshot
Extending SWRL to Express Fully-Quantified Constraints
inferred← citeshttps://doi.org/10.1007/978-3-540-30597-2_1openalex-snapshot
Introduction to Inconsistency Tolerance
inferred← citeshttps://doi.org/10.1007/978-3-540-85654-2_11openalex-snapshot
Extending Inconsistency-Tolerant Integrity Checking by Semantic Query Optimization
inferred← citeshttps://doi.org/10.1007/978-3-540-87991-6_12openalex-snapshot
Towards a Dynamic Inconsistency-Tolerant Schema Maintenance
inferred← citeshttps://doi.org/10.1007/978-3-540-88655-6_24openalex-snapshot
Inconsistency-Tolerant Integrity Checking for Knowledge Assimilation
inferred← citeshttps://doi.org/10.1007/978-3-540-92243-8_5openalex-snapshot
Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules
inferred← citeshttps://doi.org/10.1007/978-3-642-16961-8_48openalex-snapshot
Revisiting and Improving a Result on Integrity Preservation by Concurrent Transactions
inferred← citeshttps://doi.org/10.1007/978-3-642-23737-9_28openalex-snapshot
Partial Repairs That Tolerate Inconsistency
inferred← citeshttps://doi.org/10.1007/978-3-642-23863-5_56openalex-snapshot
Inconsistency-Tolerant Integrity Checking Based on Inconsistency Metrics
inferred← citeshttps://doi.org/10.1007/978-3-642-36008-4_7openalex-snapshot
Measure-Based Inconsistency-Tolerant Maintenance of Database Integrity
inferred← citeshttps://doi.org/10.1007/978-3-642-36257-6openalex-snapshot
Handbook of Data Quality : Research and Practice
inferred← citeshttps://doi.org/10.1007/978-3-642-36257-6_9openalex-snapshot
Generic and Declarative Approaches to Data Quality Management
inferred← citeshttps://doi.org/10.1007/978-3-642-39038-8_18openalex-snapshot
Reducing Lookups for Invariant Checking
inferred← citeshttps://doi.org/10.1007/978-3-642-41033-8_41openalex-snapshot
Inconsistency-Tolerant Business Rules in Distributed Information Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-56687-5_29openalex-snapshot
An Amateur’s Introduction to Integrity Constraints and Integrity Checking in SQL
inferred← citeshttps://doi.org/10.1007/978-3-642-60211-5_18openalex-snapshot
Logic and Databases: a 20 Year Retrospective -Updated in Honor of Ray Reiter
inferred← citeshttps://doi.org/10.1007/978-3-642-73005-4_24openalex-snapshot
A Hyperresolution-based Proof Procedure and Its Implementation in Prolog
inferred← citeshttps://doi.org/10.1007/978-3-642-74135-7_33openalex-snapshot
Entwurf von Systemverhalten durch Spezifikation und Transformation temporaler Anforderungen
inferred← citeshttps://doi.org/10.1007/978-3-642-76274-1_4openalex-snapshot
On Asking What a Database Knows
inferred← citeshttps://doi.org/10.1007/978-3-662-05372-0_4openalex-snapshot
Functional Approaches to Constraint Handling and State Change
inferred← citeshttps://doi.org/10.1007/978-3-662-55947-5_7openalex-snapshot
Inconsistency-Tolerant Database Repairs and Simplified Repair Checking by Measure-Based Integrity Checking
inferred← citeshttps://doi.org/10.1007/978-3-7091-7555-2_60openalex-snapshot
The Development of a Knowledge-Based Database Transaction Design Assistant
inferred← citeshttps://doi.org/10.1007/978-3-7091-7555-2_66openalex-snapshot
A Temporal-Logic-Based Query Language for Querying Database Histories
inferred← citeshttps://doi.org/10.1007/978-3-7091-7557-6_12openalex-snapshot
Techniques for Indexing Large Numbers of Constraints and Rules in a Database System
inferred← citeshttps://doi.org/10.1007/978-3-7091-7557-6_16openalex-snapshot
Foundations of Simplified Integrity Checking Reviewed
inferred← citeshttps://doi.org/10.1007/978-3-7908-1834-5_16openalex-snapshot
Abstract Objects to Represent Large Answers to Queries in a Concise Form
inferred← citeshttps://doi.org/10.1007/978-94-011-2562-8_4openalex-snapshot
Extending the Integrity Maintenance Capability in Deductive Databases
inferred← citeshttps://doi.org/10.1007/978-94-011-2787-5_11openalex-snapshot
Representing Design Objects in SORAC
inferred← citeshttps://doi.org/10.1007/bf00885764openalex-snapshot
A semantics for a class of non-deterministic and causal production system programs
inferred← citeshttps://doi.org/10.1007/bf01212961openalex-snapshot
Theoretical foundations of handling large substitution sets in temporal integrity monitoring
inferred← citeshttps://doi.org/10.1007/bf01232186openalex-snapshot
Generating consistent test data: Restricting the search space by a generator formula
inferred← citeshttps://doi.org/10.1007/bf01237920openalex-snapshot
Updating knowledge bases while maintaining their consistency
inferred← citeshttps://doi.org/10.1007/bf01530820openalex-snapshot
Nonrecursive incremental evaluation of Datalog queries
inferred← citeshttps://doi.org/10.1007/bf01840451openalex-snapshot
Understanding the implications of view update policies
inferred← citeshttps://doi.org/10.1007/bf01893887openalex-snapshot
Theoretical foundations of handling large substitution sets in temporal integrity monitoring
inferred← citeshttps://doi.org/10.1007/bf02915445openalex-snapshot
Correctness of semantic integrity checking in database management systems
inferred← citeshttps://doi.org/10.1007/bfb0000609openalex-snapshot
A design tool for object oriented databases
inferred← citeshttps://doi.org/10.1007/bfb0012847openalex-snapshot
SATCHMO: A theorem prover implemented in Prolog
inferred← citeshttps://doi.org/10.1007/bfb0014175openalex-snapshot
Accommodating integrity constraints during database design
inferred← citeshttps://doi.org/10.1007/bfb0022184openalex-snapshot
Representation of the historical information necessary for temporal integrity monitoring
inferred← citeshttps://doi.org/10.1007/bfb0026310openalex-snapshot
Enforcement of integrity constraints in a semantic data model
inferred← citeshttps://doi.org/10.1007/bfb0031734openalex-snapshot
Logic and databases: A 20 year retrospective
inferred← citeshttps://doi.org/10.1007/bfb0053374openalex-snapshot
Static integrity constraint management in object-oriented database programming languages via predicate transformers
inferred← citeshttps://doi.org/10.1007/bfb0055502openalex-snapshot
Some notes on knowledge assimilation in deductive databases
inferred← citeshttps://doi.org/10.1007/bfb0100993openalex-snapshot
Static management of integrity in object-oriented databases: Design and implementation
inferred← citeshttps://doi.org/10.1007/s007780050054openalex-snapshot
Maintenance of implication integrity constraints under updates to constraints
inferred← citeshttps://doi.org/10.1007/s007780100050openalex-snapshot
Semantic integrity support in SQL:1999 and commercial (object-)relational database management systems
inferred← citeshttps://doi.org/10.1007/s11390-009-9261-0openalex-snapshot
Improved Integrity Constraints Checking in Distributed Databases by Exploiting Local Checking
inferred← citeshttps://doi.org/10.1016/0167-4048(85)90019-7openalex-snapshot
The development of a specification language for a computer security system
inferred← citeshttps://doi.org/10.1016/0167-4048(93)90028-4openalex-snapshot
Integrity in object-oriented database systems
inferred← citeshttps://doi.org/10.1016/0169-023x(87)90019-xopenalex-snapshot
Integrity constraint checking in deductive databases using the Prolog not-predicate
inferred← citeshttps://doi.org/10.1016/0169-023x(89)90021-9openalex-snapshot
A path finding method for constraint checking in deductive databases
inferred← citeshttps://doi.org/10.1016/0169-023x(89)90038-4openalex-snapshot
Specifying dynamic and deontic integrity constraints
inferred← citeshttps://doi.org/10.1016/0169-023x(91)90002-fopenalex-snapshot
Databases for knowledge bases: empirical study of a knowledge base management system for a semantic network
inferred← citeshttps://doi.org/10.1016/0169-023x(92)90007-xopenalex-snapshot
Query optimization by using knowledge about data semantics
inferred← citeshttps://doi.org/10.1016/0169-023x(92)90008-yopenalex-snapshot
Conceptual modelling of database applications using an extended ER model
inferred← citeshttps://doi.org/10.1016/0169-023x(92)90035-aopenalex-snapshot
CONTEXT: A CONstrainT EXplanation Tool
inferred← citeshttps://doi.org/10.1016/0169-023x(93)90008-dopenalex-snapshot
Integrity control in relational database systems — an overview
inferred← citeshttps://doi.org/10.1016/0169-023x(94)00028-dopenalex-snapshot
CoLan: A functional constraint language and its implementation
inferred← citeshttps://doi.org/10.1016/0304-3975(85)90075-1openalex-snapshot
Inferences for numerical dependencies
inferred← citeshttps://doi.org/10.1016/0304-3975(87)90113-7openalex-snapshot
Domain-independent formulas and databases
inferred← citeshttps://doi.org/10.1016/0304-3975(90)90014-9openalex-snapshot
Transformation of dynamic integrity constraints into transaction specifications
inferred← citeshttps://doi.org/10.1016/0304-3975(93)90244-nopenalex-snapshot
Legality concepts for three-valued logic programs
inferred← citeshttps://doi.org/10.1016/0306-4379(84)90012-7openalex-snapshot
Validating database updates
inferred← citeshttps://doi.org/10.1016/0306-4379(87)90004-4openalex-snapshot
Monitoring dynamic integrity constraints based on temporal logic
inferred← citeshttps://doi.org/10.1016/0306-4379(93)90025-vopenalex-snapshot
A functional approach to database updates
inferred← citeshttps://doi.org/10.1016/0306-4379(94)90002-7openalex-snapshot
Deriving incremental production rules for deductive data
inferred← citeshttps://doi.org/10.1016/0743-1066(85)90013-5openalex-snapshot
A basis for deductive database systems
inferred← citeshttps://doi.org/10.1016/0743-1066(85)90020-2openalex-snapshot
Integrity constraints in logic databases
inferred← citeshttps://doi.org/10.1016/0743-1066(86)90004-xopenalex-snapshot
A basis for deductive database systems II
inferred← citeshttps://doi.org/10.1016/0743-1066(87)90009-4openalex-snapshot
Integrity constraint checking in stratified databases
inferred← citeshttps://doi.org/10.1016/0743-1066(88)90006-4openalex-snapshot
Perspectives in deductive databases
inferred← citeshttps://doi.org/10.1016/0743-1066(91)90017-jopenalex-snapshot
On derived dependencies and connected databases
inferred← citeshttps://doi.org/10.1016/0743-1066(91)90030-sopenalex-snapshot
Efficient bottom-up computation of queries on stratified databases
inferred← citeshttps://doi.org/10.1016/0743-1066(92)90049-9openalex-snapshot
What should a database know?
inferred← citeshttps://doi.org/10.1016/0743-1066(94)90005-1openalex-snapshot
A semantics for a class of stratified production system programs
inferred← citeshttps://doi.org/10.1016/0950-5849(92)90026-lopenalex-snapshot
On rules and integrity constraints in database systems
inferred← citeshttps://doi.org/10.1016/b978-0-444-51624-4.50013-7openalex-snapshot
Logic and Databases: A History of Deductive Databases
inferred← citeshttps://doi.org/10.1016/b978-0-7506-1188-6.50010-7openalex-snapshot
ArchObjects: design codes as constraints in an object-oriented KBMS
inferred← citeshttps://doi.org/10.1016/b978-0-934613-40-8.50010-5openalex-snapshot
On Domain Independent Databases
inferred← citeshttps://doi.org/10.1016/b978-0-934613-40-8.50013-0openalex-snapshot
A Theorem-Proving Approach to Database Integrity
inferred← citeshttps://doi.org/10.1016/b978-0-934613-53-8.50020-0openalex-snapshot
Logic and Databases: A Deductive Approach
inferred← citeshttps://doi.org/10.1016/j.ins.2008.02.005openalex-snapshot
Safety, domain independence and translation of complex value database queries
inferred← citeshttps://doi.org/10.1016/j.jal.2016.02.002openalex-snapshot
Translation of first order formulas into ground formulas via a completion theory
inferred← citeshttps://doi.org/10.1016/s0169-023x(01)00022-2openalex-snapshot
Safety, domain independence and generalized quantification
inferred← citeshttps://doi.org/10.1016/s0169-023x(96)00010-9openalex-snapshot
Deriving optimized integrity monitoring triggers from dynamic integrity constraints
inferred← citeshttps://doi.org/10.1016/s0169-023x(99)00007-5openalex-snapshot
Three types of redundancy in integrity checking: An optimal solution
inferred← citeshttps://doi.org/10.1016/s0304-3975(97)00088-1openalex-snapshot
A first step towards implementing dynamic algebraic dependences
inferred← citeshttps://doi.org/10.1016/s0306-4379(01)00044-8openalex-snapshot
Adapting integrity enforcement techniques for data reconciliation
inferred← citeshttps://doi.org/10.1016/s0306-4379(98)00020-9openalex-snapshot
Storage and retrieval of database constraints
inferred← citeshttps://doi.org/10.1016/s0957-4174(00)00028-2openalex-snapshot
EDTTDT: an expert design tool for temporal database transaction
inferred← citeshttps://doi.org/10.1017/s1471068414000131openalex-snapshot
Efficient Computation of the Well-Founded Semantics over Big Data
inferred← citeshttps://doi.org/10.1023/a:1008616811104openalex-snapshot
Protocols for Integrity Constraint Checking in Federated Databases
inferred← citeshttps://doi.org/10.1023/a:1008678826820openalex-snapshot
Abductive Knowledge Base Updates for Contextual Reasoning
inferred← citeshttps://doi.org/10.1023/a:1008748808699openalex-snapshot
The Evolving Role of Constraints in the Functional Data Model
inferred← citeshttps://doi.org/10.1023/a:1026153912205openalex-snapshot
Database Repairs and Analytic Tableaux
inferred← citeshttps://doi.org/10.1080/02522667.1990.10699005openalex-snapshot
Subsystem Approach for Integrity Enforcement
inferred← citeshttps://doi.org/10.1109/32.31363openalex-snapshot
A relational calculus with set operators, its safety, and equivalent graphical languages
inferred← citeshttps://doi.org/10.1109/69.204091openalex-snapshot
Rule-based consistency enforcement for knowledge-based systems
inferred← citeshttps://doi.org/10.1109/69.250077openalex-snapshot
Learning transformation rules for semantic query optimization: a data-driven approach
inferred← citeshttps://doi.org/10.1109/69.298170openalex-snapshot
First-order logic characterization of program properties
inferred← citeshttps://doi.org/10.1109/69.683760openalex-snapshot
Differential relational calculus for integrity maintenance
inferred← citeshttps://doi.org/10.1109/69.91063openalex-snapshot
Incremental recomputation of active relational expressions
inferred← citeshttps://doi.org/10.1109/bncod.2007.13openalex-snapshot
Integrity Checking and Maintenance with Active Rules in XML Databases
inferred← citeshttps://doi.org/10.1109/cmpsac.1989.65098openalex-snapshot
ALICE: an assertion language for integrity constraint expression
inferred← citeshttps://doi.org/10.1109/cmpsac.1989.65099openalex-snapshot
Designing consistency-preserving database transactions
inferred← citeshttps://doi.org/10.1109/cmpsac.1992.217574openalex-snapshot
Enforcement of integrity constraints against transactions with transition axioms
inferred← citeshttps://doi.org/10.1109/compsac.2007.213openalex-snapshot
Tool Support to Implementing Business Rules in Database Applications
inferred← citeshttps://doi.org/10.1109/dexa.1998.707379openalex-snapshot
Optimizing fragment constraints
inferred← citeshttps://doi.org/10.1109/dexa.2006.103openalex-snapshot
On Using Simplification and Correction Tables for Integrity Maintenance in Integrated Databases
inferred← citeshttps://doi.org/10.1109/dexa.2006.143openalex-snapshot
Trying to Cater for Replication Consistency and Integrity of Highly Available Data
inferred← citeshttps://doi.org/10.1109/dexa.2006.26openalex-snapshot
An Integrity Semantics for Open World Databases
inferred← citeshttps://doi.org/10.1109/dexa.2006.35openalex-snapshot
Avenues to Flexible Data Integrity Checking
inferred← citeshttps://doi.org/10.1109/dexa.2006.39openalex-snapshot
Checking Integrity Constraints - How it Differs in Centralized, Distributed and Parallel Databases
inferred← citeshttps://doi.org/10.1109/hicss.1990.205210openalex-snapshot
Redundancy: an approach to the efficient implementation of semantic integrity assertions
showing the first 200 of 280 · page through all 280
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.