You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
The papers in this volume are extended versions of presentations at the fourth International Workshop on Extensions of Logic Programming, held at the University of St Andrews, March/April 1993. Among the topics covered in the volume are: defintional reflection and completion, modules in lambda-Prolog, representation of logics as partial inductive definitions, non-procedural logic programming, knowledge representation, contradiction avoidance, disjunctive databases, strong negation, linear logic programming, proof theory and regular search spaces, finite sets and constraint logic programming, search-space pruning and universal algebra, and implementation on transputer networks.
Manufacturers worldwide are faced with unprecedented challenges from international competition, changing production processes and technologies, shorter production life-cycles, market globalization and environmental requirements. Fundamental to meeting these challenges is the understanding and control of information across all stages of the Computer Integrated Manufacturing (CIM) process. Modern Manufacturing presents the state of the art in the information-oriented aspects of CIM and Intelligent Manufacturing Systems. Particular emphasis is placed on the impact of new software engineering technologies, the object-oriented approach, database design, hierarchical control and intelligent systems. The contributions are written by experts from Europe and the USA.
This edited volume describes current attempts to understand and to develop database programming languages. Earlier efforts to combine database and programming-language technologies involved coupling one system with another (such as SQL embedded in C) or combining functionalities in one system (as in Pascal R). The most recent work, on which this book focuses, develops integrated systems from a new, integrated technology. It shows, for example, how large knowledge-based systems, using this new technology, provide a uniform way of programming, storing, and managing data.
Modern database and software system technology must respond to a wide variety of needs. Advanced applications such as office automation, CAD, or software engineering have new requirements in design environments, transaction mechanisms, and data types. This comprehensive volume by designers, implementors and users covers all aspects of building an object-oriented software system from data model through system implementation, interfaces, and applications. Utilizing techniques from databases, object-oriented languages, programming environments, and user interfaces, O2 is a landmark object-oriented database system representing a new generation of database technology. This guide will help researchers, database designers, and users to assess the nature and potential of object-oriented technology for themselves.
This volume results from the four-day scientific Second International East/West Database Workshop which took place 25th-28th September 1994, in Klagenfurt, Austria, continuing a series of workshops started in Kiev in 1990 (Lecture Notes in Computer Science No. 504, Springer, "Next Generation Information System Technology"). The aims of this workshop are twofold: first, to provide a forum for the presentation and in-depth discussion of scientific achievements in the field of advanced databases that will effectively improve the building and use of future information systems; second, to establish and increase communication between research communities which were formerly separated and, therefor...
This book constitutes the refereed proceedings of the 5th International Conference on Deductive and Object-Oriented Databases, DOOD'97, held in Montreux, Switzerland, in December 1997. The 22 revised full papers presented in this book were selected from a total of 59 submissions. Also included are abstracts or full versions of three invited talks and three tutorials and six short presentations. The papers are organized in topical sections on materialized view maintenance, extending DBMs features, database updates, managing change in object databases, semantics of active databases, formal semantics, and new directions.
Database technology is currently being pushed by the needs of new applications and pulled by the oppor- tunities of novel developments in hardware and systems architecture. The invited paper, two panel sessions and 27 papers in this volume report on how the technology is currently extending. One broad area covered is extended database semantics, including data models and data types, databases and logic, complex objects, and expert system approaches to databases. The other area covered is raw architectures and increased database systems support, including novel transaction models, data distribution and replication, database administration, and access efficiency.
There is algebraic structure in time, computation and biological systems. Algebraic engineering exploits this structure to achieve better understanding and design. In this book, pure and applied results in semigroups, language theory and algebra are applied to areas ranging from circuit design to software engineering to biological evolution.
Handbook of Database Security: Applications and Trends provides an up-to-date overview of data security models, techniques, and architectures in a variety of data management applications and settings. In addition to providing an overview of data security in different application settings, this book includes an outline for future research directions within the field. The book is designed for industry practitioners and researchers, and is also suitable for advanced-level students in computer science.