Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
On the evaluation strategy of EDUCE
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
ACM Transactions on Database Systems (TODS)
The temporal query language TQuel
ACM Transactions on Database Systems (TODS)
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Concurrency control performance modeling: alternatives and implications
ACM Transactions on Database Systems (TODS)
Architecture and implementation of the Darmstadt database kernel system
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Physical database design for relational databases
ACM Transactions on Database Systems (TODS)
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Locking performance in centralized databases
Locking performance in centralized databases
Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
Finding paths and deleting edges in directed acyclic graphs
Information Processing Letters
On finding lowest common ancestors: simplification and parallelization
SIAM Journal on Computing
Foundations of semantic query optimization for deductive databases
Foundations of deductive databases and logic programming
Indexing techniques for object-oriented databases
Object-oriented concepts, databases, and applications
Representation of the historical information necessary for temporal integrity monitoring
EDBT '90 Proceedings of the 2nd international conference on extending database technology: Advances in Database Technology
Readings in object-oriented database systems
Readings in object-oriented database systems
Constraint propagation algorithms for temporal reasoning: a revised report
Readings in qualitative reasoning about physical systems
Deriving production rules for constraint maintenance
Proceedings of the sixteenth international conference on Very large databases
Telos: representing knowledge about information systems
ACM Transactions on Information Systems (TOIS)
Efficient Algorithms for the Instantiated Transitive Closure Queries
IEEE Transactions on Software Engineering
Transformation of dynamic integrity constraints into transaction specifications
Theoretical Computer Science
Proceedings of the first international conference on Principles of knowledge representation and reasoning
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Enabling technology for knowledge sharing
AI Magazine
The human genome project and informatics
Communications of the ACM
The performance of three database storage structures for managing large objects
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Data & Knowledge Engineering
ACM Transactions on Database Systems (TODS)
Transitive closure algorithms based on graph traversal
ACM Transactions on Database Systems (TODS)
Storage management for knowledge bases
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Readings in knowledge acquisition and learning: automating the construction and improvement of expert systems
Constraint checking with partial information
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Performances of clustering policies in object bases
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Quantitative evaluation of a transaction facility for knowledge base management system
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Safe locking policies for dynamic databases
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
Consistency in Hierarchical Database Systems
Journal of the ACM (JACM)
A Theory of Safe Locking Policies in Database Systems
Journal of the ACM (JACM)
Query Optimization in Database Systems
ACM Computing Surveys (CSUR)
A fast algorithm for finding dominators in a flowgraph
ACM Transactions on Programming Languages and Systems (TOPLAS)
Maintaining knowledge about temporal intervals
Communications of the ACM
Approximating block accesses in database organizations
Communications of the ACM
The notions of consistency and predicate locks in a database system
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
Simulation Modeling and Analysis
Simulation Modeling and Analysis
Data Structures and Algorithms
Data Structures and Algorithms
Access path selection in a relational database management system
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
R-trees: a dynamic index structure for spatial searching
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
Indexing Techniques for Queries on Nested Objects
IEEE Transactions on Knowledge and Data Engineering
Adaptive and Automated Index Selection in RDBMS
EDBT '92 Proceedings of the 3rd International Conference on Extending Database Technology: Advances in Database Technology
A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases
EDBT '88 Proceedings of the International Conference on Extending Database Technology: Advances in Database Technology
Accomodating Integrity Constraints During Database Design
EDBT '96 Proceedings of the 5th International Conference on Extending Database Technology: Advances in Database Technology
Query Optimization for KBMSs: Temporal, Syntactic and Semantic Transformantions
Proceedings of the Eighth International Conference on Data Engineering
History-less Checking of Dynamic Integrity Constraints
Proceedings of the Eighth International Conference on Data Engineering
Implementation Techniques of Complex Objects
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Object and File Management in the EXODUS Extensible Database System
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Integrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Developing an Expert System Technology for Industrial Process Control: An Experience Report
AI '96 Proceedings of the 11th Biennial Conference of the Canadian Society for Computational Studies of Intelligence on Advances in Artificial Intelligence
AN OVERVIEW OF THE SEQUOIA 2000 PROJECT
AN OVERVIEW OF THE SEQUOIA 2000 PROJECT
Transaction synchronization in knowledge bases: concepts, realization and quantitative evaluation
Transaction synchronization in knowledge bases: concepts, realization and quantitative evaluation
Efficient maintenance of temporal integrity in knowledge bases
Efficient maintenance of temporal integrity in knowledge bases
Efficient algorithms and performance results for multi-user knowledge bases
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Query processing for knowledge bases using join indices
CIKM '95 Proceedings of the fourth international conference on Information and knowledge management
Temporal Integrity Constraints with Indeterminacy
VLDB '00 Proceedings of the 26th International Conference on Very Large Data Bases
Proposing a new architecture for mobile information and consultation support systems
TELE-INFO'05 Proceedings of the 4th WSEAS International Conference on Telecommunications and Informatics
Conceptual Modeling: Foundations and Applications
An ontology-based approach to heterogeneous verification of embedded control systems
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Case study: The furniture company: deductive databases and the scheduling problem
International Journal of Information Management: The Journal for Information Professionals
Hi-index | 0.00 |
Advanced applications in fields such as CAD, software engineering, real-time process control, corporate repositories and digital libraries require the construction, efficient access and management of large, shared knowledge bases. Such knowledge bases cannot be built using existing tools such as expert system shells, because these do not scale up, nor can they be built in terms of existing database technology, because such technology does not support the rich representational structure and inference mechanisms required for knowledge-based systems. This paper proposes a generic architecture for a knowledge base management system intended for such applications. The architecture assumes an object-oriented knowledge representation language with an assertional sublanguage used to express constraints and rules. It also provides for general-purpose deductive inference and special-purpose temporal reasoning. Results reported in the paper address several knowledge base management issues. For storage management, a new method is proposed for generating a logical schema for a given knowledge base. Query processing algorithms are offered for semantic and physical query optimization, along with an enhanced cost model for query cost estimation. On concurrency control, the paper describes a novel concurrency control policy which takes advantage of knowledge base structure and is shown to outperform two-phase locking for highly structured knowledge bases and update-intensive transactions. Finally, algorithms for compilation and efficient processing of constraints and rules during knowledge base operations are described. The paper describes original results, including novel data structures and algorithms, as well as preliminary performance evaluation data. Based on these results, we conclude that knowledge base management systems which can accommodate large knowledge bases are feasible.