Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Automatic detection and repair of errors in data structures
We present a system that accepts a specification of key data structure consistency
constraints, then dynamically detects and repairs violations of these constraints, enabling …
constraints, then dynamically detects and repairs violations of these constraints, enabling …
Consistency management with repair actions
Comprehensive consistency management requires a strong mechanism for repair once
inconsistencies have been detected In this paper we present a repair framework for …
inconsistencies have been detected In this paper we present a repair framework for …
Introduction to inconsistency tolerance
Inconsistency arises in many areas in advanced computing. Examples include: Merging
information from heterogeneous sources; Negotiation in multi-agent systems; Understanding …
information from heterogeneous sources; Negotiation in multi-agent systems; Understanding …
Inference and enforcement of data structure consistency specifications
Corrupt data structures are an important cause of unacceptable program execution. Data
structure repair (which eliminates inconsistencies by updating corrupt data structures to …
structure repair (which eliminates inconsistencies by updating corrupt data structures to …
Data structure repair using goal-directed reasoning
Data structure repair is a promising technique for enabling programs to execute successfully
in the presence of otherwise fatal data structure corruption errors. Previous research in this …
in the presence of otherwise fatal data structure corruption errors. Previous research in this …
The starburst active database rule system
The paper describes the development of the Starburst Rule System, an active database
rules facility integrated into the Starburst extensible relational database system at the IBM …
rules facility integrated into the Starburst extensible relational database system at the IBM …
Semantic integrity support in SQL: 1999 and commercial (object-) relational database management systems
The correctness of the data managed by database systems is vital to any application that
utilizes data for business, research, and decision-making purposes. To guard databases …
utilizes data for business, research, and decision-making purposes. To guard databases …
Acceptability-oriented computing
We discuss a new approach to the construction of software systems. Instead of attempting to
build a system that is as free of errors as possible, the designer instead identifies key …
build a system that is as free of errors as possible, the designer instead identifies key …
Conceptual schema-centric development: A grand challenge for information systems research
The goal of automating information systems building was stated in the sixties. Forty years
later it is clear that the goal has not been achieved in a satisfactory degree. One of the …
later it is clear that the goal has not been achieved in a satisfactory degree. One of the …
An algebraic approach to static analysis of active database rules
Rules in active database systems can be very difficult to program due to the unstructured
and unpredictable nature of rule processing. We provide static analysis techniques for …
and unpredictable nature of rule processing. We provide static analysis techniques for …