ACT-P: a configurable theorem-prover
Data & Knowledge Engineering
Principles of database query processing for advanced applications
Principles of database query processing for advanced applications
Principles of distributed database systems (2nd ed.)
Principles of distributed database systems (2nd ed.)
Advanced CORBA programming with C++
Advanced CORBA programming with C++
Com-Corba interoperability
Optimization of queries with user-defined predicates
ACM Transactions on Database Systems (TODS)
Building component database systems using CORBA
Component database systems
The state of the art in distributed query processing
ACM Computing Surveys (CSUR)
Distributed query evaluation on semistructured data
ACM Transactions on Database Systems (TODS)
Distributed Java 2 Platform Database Development
Distributed Java 2 Platform Database Development
Views in a large-scale XML repository
The VLDB Journal — The International Journal on Very Large Data Bases
Adaptive Predicate Managers in Database Systems
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
An XML query engine for network-bound data
The VLDB Journal — The International Journal on Very Large Data Bases
An Adaptive Data-Shipping Architecture for Client Caching Data Management Systems
Distributed and Parallel Databases
Unification of Transactions and Replication in Three-Tier Architectures Based on CORBA
IEEE Transactions on Dependable and Secure Computing
Query optimization in XML structured-document databases
The VLDB Journal — The International Journal on Very Large Data Bases
QAGen: generating query-aware test databases
Proceedings of the 2007 ACM SIGMOD international conference on Management of data
TORBA: trading contracts for CORBA
COOTS'01 Proceedings of the 6th conference on USENIX Conference on Object-Oriented Technologies and Systems - Volume 6
The design and performance of meta-programming mechanisms for object request broker middleware
COOTS'01 Proceedings of the 6th conference on USENIX Conference on Object-Oriented Technologies and Systems - Volume 6
Tuple routing strategies for distributed eddies
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
Foundations and Trends in Databases
Practical partition-based theorem proving for large knowledge bases
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Efficiently processing XML queries over fragmented repositories with partix
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
| Hi-index | 0.00 |
Query processing over distributed and fragmented databases is more challenging than doing so in a centralized environment. In a distributed environment, the DBMS needs to know where each node is located. The main role of data localization layer is to localize the query's data using data distribution information. We propose an approach to incorporate the artificial intelligence techniques into a distributed database management system (DBMS), namely to extend the core of a distributed CORBA-based environment with deductive functionalities of the query and view services during the process of data localization. The basic principles and the architecture of the software tool are considered. The implementation and class hierarchy of the object-oriented theorem prover which is built in the core of distributed CORBA-based system are also discussed.