IFO - A FORMAL SEMANTIC DATABASE MODEL

被引：154
|
作者：
ABITEBOUL, S [1 ]
HULL, R [1 ]
机构：
[1] UNIV SO CALIF,DEPT COMP SCI,LOS ANGELES,CA 90089
来源：
ACM TRANSACTIONS ON DATABASE SYSTEMS | 1987年 / 12卷 / 04期
关键词：
D O I：
10.1145/32204.32205
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：525 / 565
页数：41
相关论文
共 50 条
  • [1] Spatiotemporal database formal semantic model and algebraic language
    Kim, DH
    Lee, YJ
    Kim, JS
    Ryu, KH
    CIC'2000: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMMUNICATIONS IN COMPUTING, 2000, : 9 - 15
  • [2] A formal model of semantic computing
    Yuncheng Jiang
    Soft Computing, 2019, 23 : 5411 - 5429
  • [3] A formal model of semantic computing
    Jiang, Yuncheng
    SOFT COMPUTING, 2019, 23 (14) : 5411 - 5429
  • [4] DATABASE DESCRIPTION WITH SDM - A SEMANTIC DATABASE MODEL
    HAMMER, M
    MCLEOD, D
    ACM TRANSACTIONS ON DATABASE SYSTEMS, 1981, 6 (03): : 351 - 386
  • [5] A Formal Multilevel Database Security Model
    Wang Baohua
    Ma Xinqiang
    Li Danning
    2008 INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND SECURITY, VOLS 1 AND 2, PROCEEDINGS, 2008, : 815 - +
  • [6] ARCHITECTURE AND FORMAL MODEL OF SHARED DATABASE
    NESTERENKO, AI
    PROGRAMMING AND COMPUTER SOFTWARE, 1985, 11 (04) : 217 - 223
  • [7] A formal semantic model of the Semantic Web Service Ontology (WSMO)
    Wang, Hai H.
    Gibbins, Nick
    Payne, Terry
    Saleh, Ahmed
    Sun, Jun
    12TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2007, : 74 - +
  • [8] Resolution of semantic heterogeneity in database schema integration using formal ontologies
    Hakimpour F.
    Geppert A.
    Information Technology and Management, 2005, 6 (1) : 97 - 122
  • [9] ON FORMAL SEMANTIC PROPERTIES OF A FRAME DATA MODEL
    REIMER, U
    HAHN, U
    COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1985, 4 (04): : 335 - 351
  • [10] A formal model for semantic Web service composition
    Lecue, Freddy
    Leger, Alain
    SEMANTIC WEB - ISEC 2006, PROCEEDINGS, 2006, 4273 : 385 - 398
12345