A modular verifiable exception handling mechanism
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
GALILEO: a strongly-typed, interactive conceptual language
ACM Transactions on Database Systems (TODS)
Limitations of record-based information models
ACM Transactions on Database Systems (TODS)
Efficiently monitoring relational databases
ACM Transactions on Database Systems (TODS)
A language facility for designing database-intensive applications
ACM Transactions on Database Systems (TODS)
Database abstractions: aggregation and generalization
ACM Transactions on Database Systems (TODS)
The Recovery Manager of the System R Database Manager
ACM Computing Surveys (CSUR)
Exception handling: issues and a proposed notation
Communications of the ACM
A model and stack implementation of multiple environments
Communications of the ACM
Implementation of integrity constraints and views by query modification
SIGMOD '75 Proceedings of the 1975 ACM SIGMOD international conference on Management of data
Storage and Access Structures to Support a Semantic Data Model
VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
The Darwin software-evolution environment
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Program structures for exceptional condition handling.
Program structures for exceptional condition handling.
Rationale for the design of the Ada programming language
ACM SIGPLAN Notices - Rationale for the deisgn of the Ada programming language
SEAVE: a mechanism for verifying user presuppositions in query systems
ACM Transactions on Information Systems (TOIS)
Teaching all essential elements in a one semester database course
ACM SIGCSE Bulletin
Types and persistence in database programming languages
ACM Computing Surveys (CSUR)
Modeling class hierarchies with contradictions
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
IEEE Transactions on Software Engineering
DALI-a knowledge base management system
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
Incorporating hierarchy in a relational model of data
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Conflict resolution of rules assigning values to virtual attributes
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Imprecise schema: a rationale for relations with embedded subrelations
ACM Transactions on Database Systems (TODS)
Exception handling and object-oriented programming: towards a synthesis
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Semantics modeling issues for processing natural language database queries
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
On the complexity of propositional knowledge base revision, updates, and counterfactuals
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A method for automatic rule derivation to support semantic query optimization
ACM Transactions on Database Systems (TODS)
On the semantics of theory change: arbitration between old and new information
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PARDES: a data-driven oriented active database model
ACM SIGMOD Record
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
ACM Transactions on Database Systems (TODS)
The size of a revised knowledge base
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
COCS '95 Proceedings of conference on Organizational computing systems
Modularized exception handling
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
ICSE '91 Proceedings of the 13th international conference on Software engineering
On formal requirements modeling languages: RML revisited
ICSE '94 Proceedings of the 16th international conference on Software engineering
Managing inconsistent specifications: reasoning, analysis, and action
ACM Transactions on Software Engineering and Methodology (TOSEM)
Tolerating exceptions in workflows: a unified framework for data and processes
WACC '99 Proceedings of the international joint conference on Work activities coordination and collaboration
A generalized constraint and exception handler for an object-oriented CAD-DBMS
OODS '86 Proceedings on the 1986 international workshop on Object-oriented database systems
Exceptions in object-oriented languages
OOPWORK '86 Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming
Maintaining consistency in a database with changing types
OOPWORK '86 Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming
Specification and implementation of exceptions in workflow management systems
ACM Transactions on Database Systems (TODS)
A study on exception detection and handling using aspect-oriented programming
Proceedings of the 22nd international conference on Software engineering
Compilability and compact representations of revision of Horn knowledge bases
ACM Transactions on Computational Logic (TOCL)
Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Handling of Irregularities in Human Centered Systems: A Unified Framework for Data and Processes
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Maximal state independent approximations to minimal real change
Annals of Mathematics and Artificial Intelligence
Infobase Change: A First Approximation
Journal of Logic, Language and Information
Relational decomposition through partial functional dependencies
Data & Knowledge Engineering
The Implementation of POSTGRES
IEEE Transactions on Knowledge and Data Engineering
Arbitration (or How to Merge Knowledge Bases)
IEEE Transactions on Knowledge and Data Engineering
Distributed Enforcement of Integrity Constraints
Distributed and Parallel Databases
Rule-Based Consistency Enforcement for Knowledge-Based Systems
IEEE Transactions on Knowledge and Data Engineering
A fully object-oriented exception handling system: rationale and smalltalk implementation
Advances in exception handling techniques
Advances in exception handling techniques
Exception handling in object-oriented databases
Advances in exception handling techniques
ADOME-WFMS: towards cooperative handling of workflow exceptions
Advances in exception handling techniques
Non-Monotonic Knowledge Evolution in VLKDBs
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
An Object-Oriented Exception Handling System for an Object-Oriented Language
ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
A Logical Framework for Exception Handling in ADOME Workflow Management System
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
LOIS: The ``Lights Out'' Integrity Subsystem
BNCOD 18 Proceedings of the 18th British National Conference on Databases: Advances in Databases
Succinct Representations of Model Based Belief Revision
STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science
Exception Handling in Object-Oriented Databases
Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
A Fully Object-Oriented Exception Handling System: Rationale and Smalltalk Implementation
Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
ADOME-WFMS: Towards Cooperative Handling of Workflow Exceptions
Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
Considerations on Compositional Update Operators
AI '00 Proceedings of the 13th Biennial Conference of the Canadian Society on Computational Studies of Intelligence: Advances in Artificial Intelligence
A Simple Characterization of Extended Abduction
CL '00 Proceedings of the First International Conference on Computational Logic
A Three-Layer Model for Workflow Semantic Recovery in an Object-Oriented Environment
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
To Be and Not to Be: On Managing Inconsistency in Software Development
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
A programmable approach to maintenance of a finite knowledge base
Journal of Computer Science and Technology
Fast algorithms for revision of some special propositional knowledge bases
Journal of Computer Science and Technology
A consistency-based approach for belief change
Artificial Intelligence
The Knowledge Engineering Review
Stayin' alert:: moulding failure and exceptions to your needs
Proceedings of the 5th international conference on Generative programming and component engineering
The Compactness of Belief Revision and Update Operators
Fundamenta Informaticae
Data & Knowledge Engineering - Special issue: ER 2003
Accommodating exceptions in databases, and refining the schema by learning from them
VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
How knowledge representation meets software engineering (and often databases)
Automated Software Engineering
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Contrary-to-Duties Constraints: From UML to Relational Model
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Propositional merging operators based on set-theoretic closeness
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Journal of Artificial Intelligence Research
Incremental recompilation of knowledge
Journal of Artificial Intelligence Research
A unified view of propositional knowledge base updates
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Syntactic characterizations of belief change operators
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Relating belief revision and circumscription
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
The complexity of model checking for belief revision and update
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Evolution of DL-lite knowledge bases
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
From inconsistency to consistency: knowledge base revision by tableaux opening
IBERAMIA'10 Proceedings of the 12th Ibero-American conference on Advances in artificial intelligence
Consistent query answering: five easy pieces
ICDT'07 Proceedings of the 11th international conference on Database Theory
Declarative error management for robust data-intensive applications
SIGMOD '12 Proceedings of the 2012 ACM SIGMOD International Conference on Management of Data
The Compactness of Belief Revision and Update Operators
Fundamenta Informaticae
| Hi-index | 0.00 |
An exception-handling facility suitable for languages used to implement database-intensive information systems is presented. Such a mechanism facilitates the development and maintenance of more flexible software systems by supporting the abstraction of details concerning special or abnormal occurrences. The type constraints imposed by the schema as well as various semantic integrity assertions are considered to be normalcy conditions, and the key contribution of this work is to allow exceptions to these constraints to persist. To achieve this, solutions are proposed to a range of problems, including sharing and computing with exceptional information, exception handling by users, the logic of constraints with exceptions, and implementation issues. The use of exception handling in dealing with null values, estimates, and measurement is also illustrated.