TAILIEUCHUNG - Introduction to Database Systems- P17

Tham khảo tài liệu 'introduction to database systems- p17', công nghệ thông tin, cơ sở dữ liệu phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả | on . com to remove this watermark. Exercises References and Bibliography INTRODUCTION In the mid 1980s or so. a significant trend began to emerge in the database research community toward database systems that are based on logic. Expressions such as logic database. inferential DBMS expert DBMS deductive DBMS knowledge base knowledge base management system KBMS logic as a data model recursive query processing and so on began to appear in the research literature. However it is not always easy to relate such terms and the ideas they represent to familiar database terms and concepts nor to understand the motivation underlying the research from a traditional database perspective in other words there is a clear need for an explanation of alt of this activity in terms of conventional database ideas and principles. This chapter is an attempt to meet that need. Our aim is to explain what logic-based systems are all about from the viewpoint of someone who is familiar with traditional database technology but perhaps not so much with logic as such. As each new idea from logic is introduced therefore we will explain it in conventional database terms where possible or appropriate. Of course we have discussed certain ideas from logic in this book already especially in our description of relational CHAPTER Please purchase PDF Split-Merge on to remove this watermark. Logic-Based Databases Introduction . Overview Propositional Calculus Predicate Calculus A Proof-Theoretic View of Databases Deductive Database Systems Recursive Query Processing Summary 776 Part y I Further Tapies calculus in Chapter 8. Relational calculus is directly based on logic. However there is more to logic-based systems than just the relational calculus as we will see. The structure of the chapter is as follows. Following this introductory section. Section provides a brief overview of the subject with a .

TỪ KHÓA LIÊN QUAN
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.