TAILIEUCHUNG - Advanced Database Technology and Design phần 3

Chúng tôi đã chọn để sử dụng ba thuật ngữ khác nhau (mô hình khái niệm, khái niệm lược đồ, thông tin cơ sở) để phân biệt ba khái niệm khác nhau. Sự khác biệt tương tự cũng được thành lập trong lĩnh vực DB, nơi mà chúng ta phân biệt rõ ràng giữa các mô hình dữ liệu (cho ví dụ, mô hình dữ liệu quan hệ), DB lược đồ (trong một số mô hình dữ liệu), và DB dụ (của một | Deductive Databases 95 For the sake of uniformity the head of each integrity constraint usually contains an inconsistency predicate ICn which is just a possible name given to that constraint. This is useful for information purposes because ICn allows the identification of the constraint to which it refers. If a fact ICi is true in a certain DB state then the corresponding integrity constraint is violated in that state. For instance an integrity constraint stating that nobody may be father and mother at the same time could be represented as IC2 Parent x y A Mother x z . A deductive DB D is a triple D F DR IC where Fis a finite set of ground facts DR a finite set of deductive rules and IC a finite set of integrity constraints. The set F of facts is called the extensional part of the DB EDB and the sets DR and IC together form the so-called intensional part IDB . Database predicates are traditionally partitioned into base and derived predicates also called views. A base predicate appears in the EDB and possibly in the body of deductive rules and integrity constraints. A derived or view predicate appears only in the IDB and is defined by means of some deductive rule. In other words facts about derived predicates are not explicitly stored in the DB and can only be derived by means of deductive rules. Every deductive DB can be defined in this form 17 . Example This example is of a deductive DB describing familiar relationships. Facts Father John Tony Mother Mary Bob Father Peter Mary Deductive Rules Parent x y Father x y Parent x y Mother x y GrandMother x y Mother x z A Parent z y Ancestor x y Parent x y Ancestor x y Parent x z A Ancestor z y Nondirect-anc x y Ancestor x y A-iParent xy Integrity Constraints IC1 x Parent x x IC2 x Father x y A Mother x z 96 Advanced Database Technology and Design The deductive DB in this example contains three facts stating extensional data about fathers and mothers six deductive rules defining the inten-sional notions of parent .

• Cơ sở dữ liệu
• lập trình SQL Server
• lập trình database
• lưu trữ dữ liệu
• dữ liệu hệ thống
• lập trình máy tính
• lập trình phần mềm
• SQL Server
• tự học SQL Server
• hướng dẫn SQL Server
• kinh nghiệm lập trình SQL Server
• cẩm nang lập trình SQL Server
• Lập trinh SQL server
• tài liệu Lập trinh SQL server
• hướng dẫn Lập trinh SQL server
• kinh nghiệm Lập trinh SQL server
• cẩm nang Lập trinh SQL server
• kinh nghiệm lập trình
• code lập trình
• chương trình lập trình
• ngôn ngữ C++
• giáo trình sql server
• tài liệu sql server
• lý thuyết sql server
• bải giảng sql server
• thủ thuật lập trình
• phần mềm máy tính
• kỹ thuật máy tính