An EER Prototyping Environment and its Implemetation in a Datalog Language
نویسندگان
چکیده
In this paper we present an approach to represent schema information, application data and integrity constraints as a datalog program. The schema information is supplied as an enhanced entity relationship (EER) model which is transformed by a one-to-one mapping into a set of ground facts. The application data corresponding to the schema is represented by ground facts as well by using a single predicate named observation. In order to check whether the application data conforms to the given schema, a set of integrity rules is defined which expresses the dependencies (mostly functional and inclusion dependencies) implied by the EER model. In order to check whether the application EER model is a valid EER model a meta EER model is defined. Any application EER diagram appears as an instance of the meta EER diagram which can be specified using the same application data representation as above. This way a single set of the integrity rules can be used to check the conformance between the application data and the application EER diagram, the meta EER diagram and the application EER diagram. Since the representation of the meta EER diagram is an instance of the meta EER diagram, the validity of the meta EER diagram is checked as well. The resulting logic program is composed of the application data, the application schema, the meta schema, a general set of constraints plus optionally additional application specific constraints and deduction rules.
منابع مشابه
انتخاب مناسبترین زبان پرسوجو برای استفاده از فراپیوندها جهت استخراج دادهها در حالت دیتالوگ در سامانه پایگاه داده استنتاجی DES
Deductive Database systems are designed based on a logical data model. Data (as opposed to Relational Databases Management System (RDBMS) in which data stored in tables) are saved as facts in a Deductive Database system. Datalog Educational System (DES) is a Deductive Database system that Datalog mode is the default mode in this system. It can extract data to use outer joins with three query la...
متن کاملIntegration of Green Economy Concept into Fossil Fuels (Production and Consumption: Iran)
Iran as a rapidly developing country, whose economy is enriched by oil and gas exports, has to integrate Green Economy concept into its energy sector. In order to integrate environmental concerns into energy sector, an Energy-Environment Review (EER) was considered as the mainstreaming tool capable of examining the interface between energy and the environment. The results of the EER should be i...
متن کاملمقایسه روش های طیفی برای شناسایی زبان گفتاری
Identifying spoken language automatically is to identify a language from the speech signal. Language identification systems can be divided into two categories, spectral-based methods and phonetic-based methods. In the former, short-time characteristics of speech spectrum are extracted as a multi-dimensional vector. The statistical model of these features is then obtained for each language. The ...
متن کاملIRIS - Integrated Rule Inference System
Ontologies, fundamental to the realization of the Semantic Web, provide a formal and precise conceptualization of a specific domain that can be used to describe resources on the Web. Reasoning over such resource descriptions is essential in order to facilitate automated processing using formal descriptions that are machine interpretable. In this context, Datalog (with extensions) can be used fo...
متن کاملDeconstruction of Cultural, Racial and Gender Dominance in Iranian Senior High School EFL Textbooks
Course books play a crucial role in educational process and are believed to be the pivotal ingredient of language teaching. Every new textbook needs to be analyzed in order to reach its best. Hence this study aims to analyze three Iranian English course books to reveal how various cultures are shown via the course books characters’ race, nationality, gender, and intercultural communications. Th...
متن کامل