You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Surveys of current research in logical aspects of computer science that apply finite and infinite model-theoretic methods.
Fundamentals of Information Systems contains articles from the 7th International Workshop on Foundations of Models and Languages for Data and Objects (FoMLaDO '98), which was held in Timmel, Germany. These articles capture various aspects of database and information systems theory: identification as a primitive of database models deontic action programs marked nulls in queries topological canonization in spatial databases complexity of search queries complexity of Web queries attribute grammars for structured document queries hybrid multi-level concurrency control efficient navigation in persistent object stores formal semantics of UML reengineering of object bases and integrity dependence . Fundamentals of Information Systems serves as an excellent reference, providing insight into some of the most challenging research issues in the field.
This book constitutes the refereed proceedings of the 9th International Conference on Database Theory, ICDT 2002, held in Siena, Italy in January 2002. The 26 revised full papers presented together with 3 invited articles were carefully reviewed and selected from 92 submissions. The papers are organized in topical sections on reasoning about XML schemas and queries, aggregate queries, query evaluation, query rewriting and reformulation, semistructured versus structured data, query containment, consistency and incompleteness, and data structures.
This book constitutes the thoroughly refereed postproceedings of the International Conference on Spatial Cognition 2004 held in Fauenchiemsee, Germany in October 2004. The 27 revised full papers presented were carefully reviewed and selected from 50 submissions. The papers are organized in topical sections on route directions, wayfinding, and spatial behaviour; description of space, prepositions and reference; meta-models, diagrams, and maps; spatial-temporal representation and reasoning; and robot mapping and piloting.
Most of modern enterprises, institutions, and organizations rely on knowledge-based management systems. In these systems, knowledge is gained from data analysis. Today, knowledge-based management systems include data warehouses as their core components. Data integrated in a data warehouse are analyzed by the so-called On-Line Analytical Processing (OLAP) applications designed to discover trends, patterns of behavior, and anomalies as well as finding dependencies between data. Massive amounts of integrated data and the complexity of integrated data coming from many different sources make data integration and processing challenging. New Trends in Data Warehousing and Data Analysis brings together the most recent research and practical achievements in the DW and OLAP technologies. It provides an up-to-date bibliography of published works and the resource of research achievements. Finally, the book assists in the dissemination of knowledge in the field of advanced DW and OLAP.
The aim of this handbook is to create, for the first time, a systematic account of the field of spatial logic. The book comprises a general introduction, followed by fourteen chapters by invited authors. Each chapter provides a self-contained overview of its topic, describing the principal results obtained to date, explaining the methods used to obtain them, and listing the most important open problems. Jointly, these contributions constitute a comprehensive survey of this rapidly expanding subject.
None
This is the first comprehensive survey of the field of constraint databases, written by leading researchers. Constraint databases are a fairly new and active area of database research. Their ability to deal with infinite sets makes them particularly promising as a technology for integrating spatial and temporal data with standard relational databases. Constraint databases bring techniques from a variety of fields, such as logic and model theory, algebraic and computational geometry, as well as symbolic computation, to the design and analysis of data models and query languages.
This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Database Programming Languages, DBPL 2001, held in Frascati, Italy, in September 2001. The 18 revised full papers presented together with an invited paper were carefully selected during two rounds of reviewing and revision. The papers are organized in topical sections on semistructured data; OLAP and data mining; systems, schema integration, and index concurrency; XML; spatial databases; user languages; and rules.
As a nineteenth-century commercial development, the alleyway house was a hybrid of the traditional Chinese courtyard house and the Western terraced one. Unique to Shanghai, the alleyway house was a space where the blurring of the boundaries of public and private life created a vibrant social community. In recent years however, the city’s rapid redevelopment has meant that the alleyway house is being destroyed, and this book seeks to understand it in terms of the lifestyle it engendered for those who called it home, whilst also looking to the future of the alleyway house. Based on groundwork research, this book examines the Shanghai alleyway house in light of the complex history of the city...