USING LOGIC PROGRAMMING FOR FORMAL SPECIFICATION AND VALIDATION OF DATA MODELS

被引：0
|
作者：
RAMIREZ, RG
CHOOBINEH, J
DATTERO, R
机构：
[1] ARIZONA STATE UNIV,TEMPE,AZ 85287
[2] TEXAS A&M UNIV SYST,COLLEGE STN,TX 77843
[3] FLORIDA ATLANTIC UNIV,BOCA RATON,FL 33431
来源：
INFORMATION & MANAGEMENT | 1990年 / 19卷 / 02期
关键词：
Data Models; Database Views; Databases; Derived Relations; Formal Specifications; Logic Programming;
D O I：
10.1016/0378-7206(90)90020-I
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Mathematical specifications of data models provide formal means to prove the correctness of the models. Such specifications may be used as prototypes to determined the result of transactions on a database. This paper describes the use of logic programming to mechanize the axiomatization of a proposed extension to the relational data model. The extended model is defined using a many-sorted algebra termed DRE-algebra. The DRE-algebra is then directly implemented in PROLOG. The implementation helps in verifying the correctness of the DRE-algebra and is used as an early prototype to investigate design decisions. © 1990.
引用
收藏
页码：101 / 112
页数：12
相关论文
共 50 条
  • [1] Formal Specification and Verification of Components for Industrial Logic Control Programming
    Ljungkrantz, Oscar
    Akesson, Knut
    Fabian, Martin
    [J]. 2008 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING, VOLS 1 AND 2, 2008, : 935 - 940
  • [2] SOFTWARE FORMAL SPECIFICATION BY LOGIC PROGRAMMING - THE EXAMPLE OF STANDARD PROLOG
    EDDBALI, A
    DERANSART, P
    [J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 636 : 278 - 287
  • [3] FORMAL SPECIFICATION IN METAMORPHIC PROGRAMMING
    PENNY, DA
    HOLT, RC
    GODFREY, MW
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 551 : 11 - 30
  • [4] Use of aggregate specification and logic programming for knowledge base validation and verification
    Pranevicius, H
    Misevicienè, R
    Milciute, V
    [J]. MODELLING AND SIMULATION OF BUSINESS SYSTEMS, 2003, : 203 - 208
  • [5] THE RELATION BETWEEN LOGIC PROGRAMMING AND LOGIC SPECIFICATION
    KOWALSKI, R
    [J]. PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 1984, 312 (1522): : 345 - 361
  • [6] ON THE SPECIFICATION OF REAL-TIME SYSTEMS USING LOGIC PROGRAMMING
    GARZOTTO, F
    GHEZZI, C
    MANDRIOLI, D
    MORZENTI, A
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 289 : 180 - 190
  • [7] INTEGRATING LOGIC PROGRAMMING AND EQUATIONAL SPECIFICATION OF ABSTRACT DATA-TYPES
    BEIERLE, C
    PLETAT, U
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 343 : 71 - 82
  • [8] Logic Programming for Data Warehouse Conceptual Schema Validation
    dell'Aquila, Carlo
    Lefons, Francesco Di Trza Ezzo
    Tangorra, Filippo
    [J]. DATA WAREHOUSING AND KNOWLEDGE DISCOVERY, 2010, 6263 : 1 - 12
  • [9] Maude:: Specification and programming in rewriting logic
    Clavel, M
    Durán, F
    Eker, S
    Lincoln, P
    Martí-Oliet, N
    Meseguer, J
    Quesada, JF
    [J]. THEORETICAL COMPUTER SCIENCE, 2002, 285 (02) : 187 - 243
  • [10] Formal Specification and Validation of Security Policies
    Bourdier, Tony
    Cirstea, Horatiu
    Jaume, Mathieu
    Kirchner, Helene
    [J]. FOUNDATIONS AND PRACTICE OF SECURITY, 2011, 6888 : 148 - +
12345