Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
On the modes and meaning of feedback to transaction designers
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
The architecture of an active database management system
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Extensible query processing in starburst
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Making deductive databases a practical technology: a step forward
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Set-oriented production rules in relational database systems
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
On rules, procedure, caching and views in data base systems
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Integrity checking for multiple updates
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
Implementation of integrity constraints and views by query modification
SIGMOD '75 Proceedings of the 1975 ACM SIGMOD international conference on Management of data
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
Constraint Analysis: A Design Process for Specifying Operations on Objects
IEEE Transactions on Knowledge and Data Engineering
Active Databases as a Paradigm for Enhanced Computing Environments
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
Integrity Constraint Reformulation for Efficient Validation
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Enforcing Inclusion Dependencies and Referencial Integrity
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Constraint Equations: Declarative Expression of Constraints With Automatic Enforcement
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Annals of Mathematics and Artificial Intelligence
Representing and Using Nonfunctional Requirements: A Process-Oriented Approach
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Distributed Enforcement of Integrity Constraints
Distributed and Parallel Databases
Effect Preservation as a Means for Achieving Update Consistency
FQAS '02 Proceedings of the 5th International Conference on Flexible Query Answering Systems
Unrolling Cycles to Decide Trigger Termination
VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
Language Constructs for Programming Active Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
On Maintaining Priorities in a Production Rule System
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Deriving Production Rules for Incremental View Maintenance
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Data Management for Large Rule Systems
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Implementing Set-Oriented Production Rules as an Extension to Starburst
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
On Implementing a Language for Specifying Active Database Execution Models
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Database De-Centralization - A Practical Approach
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
Integrating Triggers and Declarative Constraints in SQL Database Sytems
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
Integrity Constraint Enforcement by Means of Trigger Templates
ADVIS '02 Proceedings of the Second International Conference on Advances in Information Systems
Constraint-Based Termination Analysis for Cyclic Active Database Rules
CL '00 Proceedings of the First International Conference on Computational Logic
M-net Calculus Based Semantics for Triggers
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Improving Integrity Constraint Enforcement by Extended Rules and Dependency Graphs
DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Towards effect preservation of updates with loops
Integrity and internal control in information systems V
Automatic detection and repair of errors in data structures
OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Self-Stabilizing Real-Time OPS5 Production Systems
IEEE Transactions on Knowledge and Data Engineering
Triggers over XML Views of Relational Data
ICDE '05 Proceedings of the 21st International Conference on Data Engineering
Data structure repair using goal-directed reasoning
Proceedings of the 27th international conference on Software engineering
Constraint tuning and management for web applications
ICWE '06 Proceedings of the 6th international conference on Web engineering
Inference and enforcement of data structure consistency specifications
Proceedings of the 2006 international symposium on Software testing and analysis
ACM Transactions on Database Systems (TODS)
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
A fuzzy Petri net model for intelligent databases
Data & Knowledge Engineering
Maintenance goals of agents in a dynamic environment: Formulation and policy construction
Artificial Intelligence
Journal of Systems and Software
Incremental integrity checking of UML/OCL conceptual schemas
Journal of Systems and Software
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Generating operation specifications from UML class diagrams: A model transformation approach
Data & Knowledge Engineering
Preservation of integrity constraints by workflow
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part I
A Generative Programming Framework for Context-Aware CSCW Applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
A relaxed approach to integrity and inconsistency in databases
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Incremental integrity checking: limitations and possibilities
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Declarative semantics of production rules for integrity maintenance
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Computing the relevant instances that may violate an OCL constraint
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Transaction management with integrity checking
DEXA'05 Proceedings of the 16th international conference on Database and Expert Systems Applications
Policy-Driven configuration and management of agent based distributed systems
Software Engineering for Multi-Agent Systems IV
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
Hi-index | 0.00 |