Database Theory - ICDT '97


Book Description

This book constitutes the refereed proceedings of the 6th International Conference on Database Theory, ICDT '97, held in Delphi, Greece, in January 1997. The 29 revised full papers presented in the volume were carefully selected from a total of 118 submissions. Also included are invited papers by Serge Abiteboul and Jeff Ullman as well as a tutorial on data mining by Heikki Mannila. The papers are organized in sections on conjunctive queries in heterogeneous databases, logic and databases, active databases, new applications, concurrency control, unstructured data, object-oriented databases, access methods, and spatial and bulk data.




Enabling Society with Information Technology


Book Description

Throughout society the explosion of information technologies is changing how we work and live. This volume focuses on emerging technologies and their impact on people and organizations in the early years of the new century. This book contains a collection of 36 papers selected from more than 110 high quality presentations at the 2000 International Conference on the Information Society in the 21st Ceptury (IS2000). The conference was held November 5-8, 2000, in Aizu Wakamatsu, Japan. IS2000 featured lively exchanges of ideas and opinions on the im pact of emerging technologies on our society among international participants from academic and industrial organizations. The chapters in this book are grouped under the following six headings: Information and Knowledge Management Towards an Intelligent Society; Collaborative Internet, Multimedia, and Electronic Commerce; Intelligent Robots and Auditory Interfaces; New Models and Approaches for a Knowledge Economic Society; IT-Based Innovative Edu cation Systems and Strategies; and Emerging Technologies for the Information Society in the New Century. The papers offer excellent perspectives on advances in the various fields and provide a framework for the development of improvements in technologies that hold promise for enhancing our lives in the new century. Special thanks are due to the University of Aizu and the Telecommunications Ad vancement Foundation for providing grants to support IS2000 and the publication of this volume. We also would like to thank all the authors for their excellent work in assuring the high quality of the contents.










User Guidance in Business Process Modelling


Book Description

Business process modelling is referred to as a complex, time consuming, and error prone task. The correction and improvement of badly designed process models becomes increasingly expensive in the later phases of the process management life cycle. This thesis develops the principles of guided process modelling and provides a contribution towards simplifying process modelling activities. The general research question this thesis answers is what are the difficulties in the usage of process modelling tools and which methods, techniques, and tools can guide users in modelling processes to target the existing problems. The question is addressed by following a research methodology of design sciences. Amongst others, it includes a detailed analysis of the research problem, a definition of the objective, the design and development of solutions, and an evaluation of the developed concepts. In summary, the thesis presents innovative concepts to support modellers and provides a step towards end-user enablement in process modelling.




Conceptual Modeling - ER 2002


Book Description

For more than 20 years, the series of Conceptual Modeling – ER conferences has provided a forum for research communities and practitioners to present and - change research results and practical experiences in the ?elds of database design and conceptual modeling. Throughout the years, the scope of these conferences has extended from database design and speci?c topics of that area to more u- versal or re?ned conceptual modeling, organizing originally weak or ill-structured information or knowledge in more cultured ways by applying various kinds of principles, abstract models, and theories, for di?erent purposes. At the same time, many technically oriented approaches have been developed which aim to facilitate the implementation of rather advanced conceptual models. Conceptual modeling is based on the process of conceptualization, and it is the core of system structuring as well as justi?cation for information systems development. It supports and facilitates the understanding, explanation, pred- tion, and reasoning on information and knowledge, and their manipulation in the systems, in addition to understanding and designing the functions of the systems. The conceptualization process aims at constructing concepts relevant for the knowledge and information system in question. Concepts in the human mind and concept descriptions in computerized information systems are quite di?erent things by nature, but both should be taken into account in conceptual modeling. Usually concept descriptions are properly observed, but concepts in the human mind and their properties are often neglected quite carelessly.




Business Process Management


Book Description

The refereed proceedings of the International Conference on Business Process Management, BPM 2003, held in Eindhoven, The Netherlands, in June 2003. The 25 revised full papers presented together with an introductory survey article were carefully reviewed and selected from 77 submissions. Among the issues addressed are Web services, workflow modeling, business process modeling, collaborative computing, computer-supported collaborative work, workflow patterns, business process engineering, business process patterns, workflow systems, Petri nets, process services, business process reengineering, and business process management tools.




Handbook of Philosophical Logic


Book Description

Belief Revision Refutation and systems in Propositional Logic. A Quantifier Scope in Formal Linguistics and Non-deterministic Semantics for Logical Systems.




Transactions and Change in Logic Databases


Book Description

This book constitutes the thoroughly refereed and revised post-workshop proceedings of two international meetings devoted to deductive databases and logic programming. The technical papers presenting original research results were carefully reviewed and selected for inclusion in the present book, together with several survey articles summarizing the state of the art in the area. Thus, the book is the ultimate reference for anybody interested in the theory and application of deductive databases and logic programming.




Semantic Web Information Management


Book Description

Databases have been designed to store large volumes of data and to provide efficient query interfaces. Semantic Web formats are geared towards capturing domain knowledge, interlinking annotations, and offering a high-level, machine-processable view of information. However, the gigantic amount of such useful information makes efficient management of it increasingly difficult, undermining the possibility of transforming it into useful knowledge. The research presented by De Virgilio, Giunchiglia and Tanca tries to bridge the two worlds in order to leverage the efficiency and scalability of database-oriented technologies to support an ontological high-level view of data and metadata. The contributions present and analyze techniques for semantic information management, by taking advantage of the synergies between the logical basis of the Semantic Web and the logical foundations of data management. The book’s leitmotif is to propose models and methods especially tailored to represent and manage data that is appropriately structured for easier machine processing on the Web. After two introductory chapters on data management and the Semantic Web in general, the remaining contributions are grouped into five parts on Semantic Web Data Storage, Reasoning in the Semantic Web, Semantic Web Data Querying, Semantic Web Applications, and Engineering Semantic Web Systems. The handbook-like presentation makes this volume an important reference on current work and a source of inspiration for future development, targeting academic and industrial researchers as well as graduate students in Semantic Web technologies or database design.