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
    [J]. CIC'2000: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMMUNICATIONS IN COMPUTING, 2000, : 9 - 15
  • [2] A formal model of semantic computing
    Yuncheng Jiang
    [J]. Soft Computing, 2019, 23 : 5411 - 5429
  • [3] A formal model of semantic computing
    Jiang, Yuncheng
    [J]. SOFT COMPUTING, 2019, 23 (14) : 5411 - 5429
  • [4] DATABASE DESCRIPTION WITH SDM - A SEMANTIC DATABASE MODEL
    HAMMER, M
    MCLEOD, D
    [J]. ACM TRANSACTIONS ON DATABASE SYSTEMS, 1981, 6 (03): : 351 - 386
  • [5] A Formal Multilevel Database Security Model
    Wang Baohua
    Ma Xinqiang
    Li Danning
    [J]. 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
    [J]. 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
    [J]. 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.
    [J]. Information Technology and Management, 2005, 6 (1) : 97 - 122
  • [9] A formal model for semantic Web service composition
    Lecue, Freddy
    Leger, Alain
    [J]. SEMANTIC WEB - ISEC 2006, PROCEEDINGS, 2006, 4273 : 385 - 398
  • [10] ON FORMAL SEMANTIC PROPERTIES OF A FRAME DATA MODEL
    REIMER, U
    HAHN, U
    [J]. COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1985, 4 (04): : 335 - 351
12345