You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Object-oriented database management systems (OODBMSs) have generated significant excitement in the database community in the last decade. This interest stems from a real need for data management support for what are called "advanced application areas" that are not well-served by relational technology. The case for object-oriented technology has been made on three fronts. First is the data modeling requirements of the new applications. Some of the more important shortcomings of the relational systems in meeting the requirements of these applications include: 1. Relational systems deal with a single object type: a relation. A relation is used to model different real-world objects, but the sema...
The Sixth International Workshop on Persistent Object Systems was held at Les Mazets des Roches near Tarascon, Provence in southern France from the fifth to the ninth of September 1994. The attractive context and autumn warmth greeted the 53 participants from 12 countries spread over five continents. Persistent object systems continue to grow in importance. Almost all significant uses of computers to support human endeavours depend on long-lived and large-scale systems. As expectations and ambitions rise so the sophistication of the systems we attempt to build also rises. The quality and integrity of the systems and their feasibility for supporting large groups of co-operating people depends...
This volume contains the proceedings of the eleventh British National Conference on Databases, held at Keele University, England. A dominant themein the volume is the provision of the means to enhance the capabilities of databases to handle information that has a rich semantic structure. A major research question is how to achieve such a semantic scale-up without sacrificing performance. There are currently two main paradigms within which it is possible to propose answers to this question, deduction-oriented and object-oriented. Both paradigms are well represented in this collection, with the balance in the direction of the deductive approach, which is followed by both the invited papers, by Michael Freeston from the European Computer-Industry Research Centre in Munich and Carlo Zaniolo from the University of California at Los Angeles. In addition, the volume contains 13 full papers selected from a total of36 submissions.
Real-time systems are defined as those for which correctness depends not only on the logical properties of the produced results, but also on the temporal properties of these results. In a database, real-time means that in addition to typical logical consistency constraints, such as a constraint on a data item's value, there are constraints on when transactions execute and on the `freshness' of the data transactions access. The challenges and tradeoffs faced by the designers of real-time database systems are quite different from those faced by the designers of general-purpose database systems. To achieve the fundamental requirements of timeliness and predictability, not only do conventional m...
Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main parts: - Presenta- tion of the pure temporal logic: language, semantics, and proof theory; - Representation of programs and their proper- ties within the language of temporal logic; - Application of the logical apparatus to the verification of program proper- ties including a new embedding of Hoare's logic into the temporal framework.
This book constitutes the joint refereed proceedings of the three workshops held in conjunction with the 6th International Conference on Web Information Systems Engineering, WISE 2005, in New York, NY, USA, in November 2005. A total of 47 papers were submitted to the three workshops, and 28 revised full papers were carefully selected for presentation. The workshop on Web Information Systems Quality (WISQ 2005) - discussing and disseminating research on the quality of WIS and Web services from a holistic point of view - included 7 papers out of 12 submissions. The workshop on Web-based Learning (WBL 2005) accounted for 10 papers from 14 papers submitted - organized in topical sections on tools, models, and innovative applications. The workshop on Scalable Semantic Web Knowledge Base Systems (SSWS 2005) included 11 presentations selected from 21 submissions. Topics addressed are scalable repository and reasoning services, practical Semantic Web applications, query handling and optimization techniques.
This book constitutes the thoroughly refereed post-proceedings of the Web- and Database-Related Workshops held during the NetObjectDays international conference NODe 2002, in Erfurt, Germany, in October 2002. The 19 revised full papers presented together with 3 keynote papers were carefully selected during 2 rounds of reviewing and improvement. The papers are organized in topical sections on advanced Web-services, UDDI extensions, description and classification of Web services, applications based on Web-services, indexing and accessing, Web and XML databases, mobile devices and the Internet, and XML query languages.