Data and Knowledge Bases: Proceedings of the Third International Conference, 3. sējumsCatriel Beeri, Umesh Dayal, J.W. Schmidt Morgan Kaufmann, 1988 - 424 lappuses Proceedings of the meeting held in Jerusalem, Israel, June, 1988. Thirty papers represent a cross ssection of the many facets of contemporary database research and provide an up-to-date account of activities of some of the leading companies in the database field. Covers: knowledge-based application |
Saturs
A KnowledgeBased System for Integrating Multiple Heterogeneous Databases | 3 |
GRAS a Management System for Graphlike Documents | 19 |
An Air Travel Expert Database | 37 |
Selection of Processing Strategies for Different Recursive Queries | 59 |
Transaction Control Mechanism for the Object Cache Interface of R2D2 | 81 |
Supporting Concurrent Access to Facts in Logic Programs | 102 |
An Hybrid Approach Half Interpreted Half Compiled | 121 |
F Cuppens R Demolombe | 135 |
Modelling CAD Objects by Abstraction | 227 |
Locally Balanced Compact Trie Hashing | 242 |
An Effective Method for Storing and Retrieving PROLOG Clauses from | 255 |
Special Hardware for the Support of File Management and Query Evaluation | 269 |
An AssumptionBased Reasoning Tool in a Logic Programming Environment | 282 |
Operations on Families of Sets for Exhaustive Search Given a Monotonic Function | 310 |
The Connection of Static Constraints with Determinism and Boundedness of Dynamic | 324 |
Embedding psiterms in a Hornclause Logic Language | 347 |
Active Database Systems | 150 |
An Execution Model for Active DB Management Systems | 171 |
A Model for Engineering Information Systems and Other Baroque | 195 |
An Application Program Interface for a Complex Object Database | 211 |
Parallelism and Data Management | 362 |
Datalog Automata | 389 |
On Safety Domain Independence and Capturability of Database Queries | 405 |
Citi izdevumi - Skatīt visu
Bieži izmantoti vārdi un frāzes
abstraction algorithm application program approach attributes binary c_name CALIDA clause codeword commit compact trie compiled complex component computation concurrency control condition conflict constraints contains corresponding cycle data management data model database families Database Systems Datalog DBMS Deductive Databases defined definition denotes described deterministic disk domain algebra domain independence dynamic specification edge evaluation example execution fact Figure finite fixpoint formula function global graph hardware implementation instance Instance_fns integrated interface lock logic program mapping matching mechanism method n-chain node operations OPS5 optimization parallel Partial Evaluation performance persistent object phase predicate problem Proc procedure processing programming language Prolog recursive query relation relational algebra relational database representation requirements result retrieval rule schema selection semantics serializability SIGMOD storage stored strategy subset subtransactions symbols tion transaction language transition transition set trie hashing triggering transaction tuple update variable