FORMAL METHODS FOR DATABASE LANGUAGE DESIGN AND CONSTRAINT HANDLING

被引：0
|
作者：
WALSHE, A [1 ]
机构：
[1] STC TECHNOL LTD,UARLOW CM17 9NA,ESSEX,ENGLAND
来源：
SOFTWARE ENGINEERING JOURNAL | 1989年 / 4卷 / 01期
关键词：
D O I：
10.1049/sej.1989.0002
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：15 / 24
页数：10
相关论文
共 50 条
  • [1] Formal relational database design: an exercise in extending the formal template language
    Wu, Nicolas
    Simpson, Andrew
    [J]. FORMAL ASPECTS OF COMPUTING, 2014, 26 (06) : 1231 - 1269
  • [2] A COMPARISON OF FORMAL METHODS FOR EVALUATING THE LANGUAGE OF PREFERENCE IN ENGINEERING DESIGN
    Honda, Tomonori
    Yang, Maria C.
    Dong, Andy
    Ji, Haifeng
    [J]. PROCEEDINGS OF THE ASME INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE, DETC 2010, VOL 5, 2010, : 297 - +
  • [3] Boundary Constraint-Handling Methods in Differential Evolution for Mechanical Design Optimization
    de-la-Cruz-Martinez, Sebastian-Jose
    Mezura-Montes, Efren
    [J]. 2020 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), 2020,
  • [4] Constraint-handling methods for optimal groundwater remediation design by genetic algorithms
    Hilton, ABC
    Culver, TB
    [J]. 1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 3937 - 3942
  • [5] ISQL: an interval constraint database query language
    Chen, Lianggang
    Xu, Guihong
    Wang, Yujun
    Shi, Baile
    [J]. 2000, Sci Press (37):
  • [6] Constraint handling methods in pavement maintenance programming
    Chan, WT
    Fwa, TF
    Hoque, KZ
    [J]. TRANSPORTATION RESEARCH PART C-EMERGING TECHNOLOGIES, 2001, 9 (03) : 175 - 190
  • [7] FORMAL METHODS FOR DESIGN
    MUSGRAVE, G
    [J]. IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 12 : 710 - 710
  • [8] Object Normalization as Contribution to the Area of Formal Methods of Object-Oriented Database Design
    Merunka, Vojtech
    Molhanec, Martin
    [J]. ADVANCES IN COMPUTER AND INFORMATIOM SCIENCES AND ENGINEERING, 2008, : 300 - +
  • [9] Object normalization as the contribution to the area of formal methods of object-oriented database design
    Vrany, Jan
    Struska, Zdenek
    Merunka, Vojtech
    [J]. ICEIS 2006: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, 2006, : 471 - +
  • [10] Analysis of Constraint Handling Methods for the Gravitational Search Algorithm
    Poole, Daniel J.
    Allen, Christian B.
    Rendall, Thomas C. S.
    [J]. 2014 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), 2014, : 2005 - 2012
12345