Search results for: updating-logical-databases

Updating Logical Databases

Author : Marianne Winslett
File Size : 54.53 MB
Format : PDF, Kindle
Download : 460
Read : 934
Download »
This book tackles the problems of update algorithms for databases. How can one construct and maintain a database of facts, capable of incorporating new information and getting rid of all outdated information, and yet in the process not disturb any other information in the database? The author has produced a formal method of specifying the desired change intentionally using a "formula-based" approach to updating needs rather than a "model-based" technique. The complexity of the algorithms, choice of semantics and means of enforcing integrity constraints are also discussed.

A Model theoretic Approach to Updating Logical Databases

Author : Marianne Winslett Wilkins
File Size : 82.36 MB
Format : PDF, ePub, Docs
Download : 829
Read : 252
Download »

Principles of Knowledge Representation and Reasoning

Author : James Allen
File Size : 30.35 MB
Format : PDF, Mobi
Download : 532
Read : 1057
Download »
The proceedings of the Second International Conference on [title] held in Cambridge, Massachusetts, April 1991, comprise 55 papers on topics including the logical specifications of reasoning behaviors and representation formalisms, comparative analysis of competing algorithms and formalisms, and ana

Modelling Database Dynamics

Author : Udo W. Lipeck
File Size : 29.83 MB
Format : PDF, Mobi
Download : 201
Read : 549
Download »
Database modelling is concerned with the design of reliable and efficient database systems. Three different approaches to modelling can be identified: structure-oriented, process-oriented, and behaviour-oriented. Database literature has traditionally focused on structure-oriented approaches, but it is now widely recognised that problems can be solved more effectively by integrating all three. As a result, modelling database dynamics is now considered to be as important as modelling static database structures. This volume contains selected papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects, held in Volkse, Germany, 19-22 October, 1992. This series of international workshops was initiated by the Working Group on Foundations of Information Systems, part of the German Association for Informatics. It provides an international forum for the discussion of current research into database theory and its application to database technology. The theme of this particular workshop was modelling the dynamic behaviour of database systems in formal frameworks. As object-oriented principles are being widely used in current research work, particular emphasis was also given to object dynamics. Among the topics covered in this volume are: specifying the dynamics of complex objects databases; updates in a rule-based language for objects; an order-sorted approach to active objects; non-deterministic aspects of database transformations involving object creation; monitoring temporal permissions using partially evaluated transition graphs; a formalisation of logic databases and integrity constraints; a comparison of approaches for modelling dynamics of databases. Modelling Database Dynamics provides a comprehensive overview of current research into the modelling and use of database dynamics. It will provide invaluable reading for researchers, postgraduate students, and anyone interested in the theoretical foundations of computer science.

Logical Database Design Principles

Author : John Garmany
File Size : 87.74 MB
Format : PDF, ePub
Download : 946
Read : 1178
Download »
Until now, almost all books on logical database design focused exclusively on relational design. However, modern database management systems have added powerful features that have driven a movement away from truly normalized database design. Logical Database Design Principles reflects these recent changes. The book begins by covering traditional logical design principles, followed by an analysis of the normalizing and modeling of data. It then examines designing for specific purposes, such as object-oriented databases, online transaction processing (OLTP), and data warehouses. As the text progresses, it moves from the purely logical into some physical design, as determined by how the features of modern databases are implemented. Because this is a logical-design book, the authors attempt to make the examples database-neutral. Because various vendors implement features in different ways, this volume sometimes offers examples from a specific database management system. When necessary, it highlights a specific application, clearly demonstrating the concept being discussed.

Official Gazette of the United States Patent and Trademark Office

Author : United States. Patent and Trademark Office
File Size : 44.26 MB
Format : PDF, Mobi
Download : 252
Read : 815
Download »

Proceedings of the ACM SIGACT SIGMOD Symposium on Principles of Database Systems

Author :
File Size : 80.67 MB
Format : PDF, Mobi
Download : 750
Read : 250
Download »

The Theory of Databases

Author : Paris C. Kanellakis
File Size : 65.32 MB
Format : PDF, Kindle
Download : 445
Read : 404
Download »

Data Knowledge Engineering

Author :
File Size : 58.96 MB
Format : PDF, Kindle
Download : 430
Read : 304
Download »

Logical Foundations of Database Transformations for Complex Value Databases

Author : Qing Wang
File Size : 88.87 MB
Format : PDF, ePub, Docs
Download : 544
Read : 301
Download »
Database transformations consist of queries and updates which are two fundamental types of computations in any databases - the first provides the capability to retrieve data and the second is used to maintain databases in light of ever-changing application domains. This dissertation aims to lay down the foundations for establishing a theoretical framework of database transformations in the context of complex-value databases. The previous findings reveal that it is very difficult to characterise common features of database queries and updates in a way which is meaningful for further investigations. Nevertheless, the advent of the sequential Abstract State Machine (ASM) thesis capturing sequential algorithms sheds light on the study of database transformations. Observing that the class of computations described by database transformations may be formalised as algorithms respecting database principles, we propose the database ASM thesis for a complete characterisation of database transformations. It turns out that every database transformation characterised by five postulates can be behaviourally simulated by a database Abstract State Machine (DB-ASM) with the same signature and background, and vice versa. Furthermore, a logic for DB-ASMs is defined. In spite of bounded non-determinism permitted by DB-ASMs, the logic is proven to be sound and complete.


Author :
File Size : 34.56 MB
Format : PDF, Kindle
Download : 563
Read : 198
Download »

Very Large Data Bases

Author :
File Size : 20.78 MB
Format : PDF, ePub, Docs
Download : 915
Read : 940
Download »

Rules in Database Systems

Author : Norman W. Paton
File Size : 66.99 MB
Format : PDF, Mobi
Download : 852
Read : 406
Download »
This book is the proceedings of a workshop held at Heriot-Watt University in Edinburgh in August 1993. The central theme of the workshop was rules in database systems, and the papers presented covered a range of different aspects of database rule systems. These aspects are reflected in the sessions of the workshop, which are the same as the sections in this proceedings: Active Databases Architectures Incorporating Temporal Rules Rules and Transactions Analysis and Debugging of Active Rules Integrating Graphs/Objects with Deduction Integrating Deductive and Active Rules Integrity Constraints Deductive Databases The incorporation of rules into database systems is an important area of research, as it is a major component in the integration of behavioural information with the structural data with which commercial databases have traditionally been associated. This integration of the behavioural aspects of an application with the data to which it applies in database systems leads to more straightforward application development and more efficient processing of data. Many novel applications seem to need database systems in which structural and behavioural information are fully integrated. Rules are only one means of expressing behavioural information, but it is clear that different types of rule can be used to capture directly different properties of an application which are cumbersome to support using conventional database architectures. In recent years there has been a surge of research activity focusing upon active database systems, and this volume opens with a collection of papers devoted specifically to this topic.

Performance Analysis of Update Synchronization Algorithms for Distributed Databases

Author : Wing Kai Cheng
File Size : 86.25 MB
Format : PDF, ePub
Download : 780
Read : 1207
Download »


Author :
File Size : 27.49 MB
Format : PDF
Download : 891
Read : 712
Download »

Database Programming Languages DBPL 4

Author : Catriel Beeri
File Size : 37.36 MB
Format : PDF, Docs
Download : 807
Read : 902
Download »
The Fourth International Workshop on Database Programming Languages - Object Models and Languages (DBPL-4) took place in Manhattan, New York City, 30 August-1 September 1993. The areas of interest and the format of DBPL-4 focused on the integration of programming languages, object models, type systems and database systems. As in the previous DBPL workshops, the setting was informal, allowing the participants to actively discuss and argue about the ideas presented in the talks. The comments and remarks made by the participants during and after the presentations were taken into account in the preparation of the final versions of the papers. The result, we believe, is a set of excellent papers. The DBPL sequence is closely related to the sequence of International Workshops on Persistent Object Systems (POS), first started in 1985. While the DBPL workshops focus on language and model issues, the POS workshops have focused on implementation issues; thus the two sequences complement each other. Many researchers participate in both workshop series. The eight sessions of the technical program of DBPL-4 were as follows: 1. Bulk types and their query languages (two sessions). 2. Object models and languages. 3. Data types with order. 4. Mechanisms to support persistence, reflection, and extensibility. 5. Query optimization and integrity constraints. 6. Logic-based models. 7. Implementation and performance issues.

Proceedings of the Eighth ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems March 29 31 1989 Philadelphia Pennsylvania

Author : Association for Computing Machinery. Special Interest Group on Management of Data
File Size : 51.81 MB
Format : PDF, Kindle
Download : 348
Read : 1275
Download »

Foundations of Deductive Databases and Logic Programming

Author : Jack Minker
File Size : 56.88 MB
Format : PDF, Kindle
Download : 975
Read : 618
Download »
This volume explores the close relationship between deductive databases and logic programming and the foundational issues they share.

Relational Database Writings 1991 1994

Author : C. J. Date
File Size : 71.29 MB
Format : PDF, ePub, Mobi
Download : 302
Read : 693
Download »
Readers familiar with the three prior volumes of database guru Chris Date's Relational Database Writings series will need no further recommendation. The fourth volume compiles Date's authoritative columns, articles, and papers on various aspects of relational technology--spanning the years 1991 to 1994.

Logic for Programming Artificial Intelligence and Reasoning

Author :
File Size : 73.76 MB
Format : PDF, Docs
Download : 521
Read : 266
Download »