Everand Logo

Welcome to Everand!

  • Discover millions of ebooks, audiobooks, and so much more with a free trial

    Only $11.99/month after trial. Cancel anytime.

    Computers and Languages: Theory and Practice
    Topics in Expert System Design: Methodologies and Tools
    Concurrency Control in Distributed Database Systems
    Ebook series4 titles

    Studies in Computer Science and Artificial Intelligence Series

    By W. Cellary, A. Nijholt, G. Metakides and

    ()

    About this series

    Logic's basic elements are unfolded in this book. The relation of and the transition from Logic to Logic Programming are analysed.

    With the use and the development of computers in the beginning of the 1950's, it soon became clear that computers could be used, not only for arithmetical computation, but also for symbolic computation. Hence, the first arithmetical computation programs, and the first programs created to answer elementary questions and prove simple theorems, were written simultaneously. The basic steps towards a general method based on Logic, were accomplished in 1965 by Robinson and later by Kowalski and Colmerauer who made use of Logic directly as a Logic Programming language.

    Each chapter includes solved as well as unsolved exercises provided to help the reader assimilate the corresponding topics. The solved exercises demonstrate how to work methodically, whereas the unsolved exercises aim to stimulate the reader's personal initiative. The contents of the book are self-contained; only an elementary knowledge of analysis is required. Thus, it can be used by students in every academic year, as simply reading material, or in the context of a course. It can also be used by those who utilize Logic Programming without having any particular theoretical background knowledge of Logic, or by those simply interested in Logic and its applications in Logic Programming.

    LanguageEnglish
    PublisherElsevier Science
    Release dateJun 28, 2014
    Computers and Languages: Theory and Practice
    Topics in Expert System Design: Methodologies and Tools
    Concurrency Control in Distributed Database Systems

    Titles in the series (4)

    • 3

      Concurrency Control in Distributed Database Systems
      Concurrency Control in Distributed Database Systems

      Concurrency Control in Distributed Database Systems

      W. Cellary
      0 ratings
      0 ratings

      Distributed Database Systems (DDBS) may be defined as integrated database systems composed of autonomous local databases, geographically distributed and interconnected by a computer network. The purpose of this monograph is to present DDBS concurrency control algorithms and their related performance issues. The most recent results have been taken into consideration. A detailed analysis and selection of these results has been made so as to include those which will promote applications and progress in the field. The application of the methods and algorithms presented is not limited to DDBSs but also relates to centralized database systems and to database machines which can often be considered as particular examples of DDBSs. The first part of the book is devoted to basic definitions and models: the distributed database model, the transaction model and the syntactic and semantic concurrency control models. The second discusses concurrency control methods in monoversion DDBSs: the locking method, the timestamp ordering method, the validation method and hybrid methods. For each method the concept, the basic algorithms, a hierarchical version of the basic algorithms, and methods for avoiding performance failures are given. The third section covers concurrency control methods in multiversion DDBSs and the fourth, methods for the semantic concurrency model. The last part concerns performance issues of DDBSs. The book is intended primarily for DDBMS designers, but is also of use to those who are engaged in the design and management of databases in general, as well as in problems of distributed system management such as distributed operating systems and computer networks.

      Distributed Database Systems (DDBS) may be defined as integrated database systems composed of autonomous local databases, geographically distributed and interconnected by a computer network. The purpose of this monograph is to present DDBS concurrency control algorithms and their related performance issues. The most recent results have been taken into consideration. A detailed analysis and selection of these results has been made so as to include those which will promote applications and progress in the field. The application of the methods and algorithms presented is not limited to DDBSs but also relates to centralized database systems and to database machines which can often be considered as particular examples of DDBSs. The first part of the book is devoted to basic definitions and models: the distributed database model, the transaction model and the syntactic and semantic concurrency control models. The second discusses concurrency control methods in monoversion DDBSs: the locking method, the timestamp ordering method, the validation method and hybrid methods. For each method the concept, the basic algorithms, a hierarchical version of the basic algorithms, and methods for avoiding performance failures are given. The third section covers concurrency control methods in multiversion DDBSs and the fourth, methods for the semantic concurrency model. The last part concerns performance issues of DDBSs. The book is intended primarily for DDBMS designers, but is also of use to those who are engaged in the design and management of databases in general, as well as in problems of distributed system management such as distributed operating systems and computer networks.

    • 4

      Computers and Languages: Theory and Practice
      Computers and Languages: Theory and Practice

      Computers and Languages: Theory and Practice

      A. Nijholt
      0 ratings
      0 ratings

      A global introduction to language technology and the areas of computer science where language technology plays a role. Surveyed in this volume are issues related to the parsing problem in the fields of natural languages, programming languages, and formal languages. Throughout the book attention is paid to the social forces which influenced the development of the various topics. Also illustrated are the development of the theory of language analysis, its role in compiler construction, and its role in computer applications with a natural language interface between men and machine. Parts of the material in this book have been used in courses on computational linguistics, computers and society, and formal approaches to languages.

      A global introduction to language technology and the areas of computer science where language technology plays a role. Surveyed in this volume are issues related to the parsing problem in the fields of natural languages, programming languages, and formal languages. Throughout the book attention is paid to the social forces which influenced the development of the various topics. Also illustrated are the development of the theory of language analysis, its role in compiler construction, and its role in computer applications with a natural language interface between men and machine. Parts of the material in this book have been used in courses on computational linguistics, computers and society, and formal approaches to languages.

    • 5

      Topics in Expert System Design: Methodologies and Tools
      Topics in Expert System Design: Methodologies and Tools

      Topics in Expert System Design: Methodologies and Tools

      Elsevier Books Reference
      5/5 - 1 rating
      5/5 - 1 rating

      Expert Systems are so far the most promising achievement of artificial intelligence research. Decision making, planning, design, control, supervision and diagnosis are areas where they are showing great potential. However, the establishment of expert system technology and its actual industrial impact are still limited by the lack of a sound, general and reliable design and construction methodology. This book has a dual purpose: to offer concrete guidelines and tools to the designers of expert systems, and to promote basic and applied research on methodologies and tools. It is a coordinated collection of papers from researchers in the USA and Europe, examining important and emerging topics, methodological advances and practical experience obtained in specific applications. Each paper includes a survey introduction, and a comprehensive bibliography is provided.

      Expert Systems are so far the most promising achievement of artificial intelligence research. Decision making, planning, design, control, supervision and diagnosis are areas where they are showing great potential. However, the establishment of expert system technology and its actual industrial impact are still limited by the lack of a sound, general and reliable design and construction methodology. This book has a dual purpose: to offer concrete guidelines and tools to the designers of expert systems, and to promote basic and applied research on methodologies and tools. It is a coordinated collection of papers from researchers in the USA and Europe, examining important and emerging topics, methodological advances and practical experience obtained in specific applications. Each paper includes a survey introduction, and a comprehensive bibliography is provided.

    • 12

      Problem Solving: Methods, Programming and Future Concepts
      Problem Solving: Methods, Programming and Future Concepts

      Problem Solving: Methods, Programming and Future Concepts

      O.V. German
      0 ratings
      0 ratings

      Problem solving is the very area of articifical intelligence AI which, probably, will never result in a complete set of formalized theories, in a pragmatic philosphy, or in a "universal" applied discipline. Studying questions concerning this area, encompasses different concepts, models and theories. This volume of the series looks at classifying problems, interpreting them, and the methods of solving them. The final chapter covers future concepts such as universal problem solving approach restoration, weak methods becoming strong, the role of formal logic in future developments, human factors and other paradigms. Different groups of readers such as mathematicians, specialists in computer sciences, and programmers will find this title of interest. Post-graduates and the students specializing in AI and applied mathematics will also find the work useful.

      Problem solving is the very area of articifical intelligence AI which, probably, will never result in a complete set of formalized theories, in a pragmatic philosphy, or in a "universal" applied discipline. Studying questions concerning this area, encompasses different concepts, models and theories. This volume of the series looks at classifying problems, interpreting them, and the methods of solving them. The final chapter covers future concepts such as universal problem solving approach restoration, weak methods becoming strong, the role of formal logic in future developments, human factors and other paradigms. Different groups of readers such as mathematicians, specialists in computer sciences, and programmers will find this title of interest. Post-graduates and the students specializing in AI and applied mathematics will also find the work useful.

    Related to Studies in Computer Science and Artificial Intelligence

    Related ebooks

    Databases For You

    View More
    View More

    Related podcast episodes

    Related categories

    Reviews for Studies in Computer Science and Artificial Intelligence

    0 ratings

    0 ratings0 reviews

    What did you think?

    Tap to rate

    Review must be at least 10 words