Horizontal Fragmentation for Data Outsourcing with Formula-Based Confidentiality Constraints

被引：0
|
作者：
Wiese, Lena [1 ]
机构：
[1] Res Org Informat & Syst, Natl Inst Informat, Chiyoda Ku, Tokyo 1018430, Japan
来源：
ADVANCES IN INFORMATION AND COMPUTER SECURITY | 2010年 / 6434卷
关键词：
DATABASES;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This article introduces the notion of horizontal fragmentation to the data outsourcing area. In a horizontal fragmentation, rows of tables are separated (instead of columns for vertical fragmentation). We give a formula-based definition of confidentiality constraints and an implication-based definition of horizontal fragmentation correctness. Then we apply the chase procedure to decide this correctness property and present an algorithm that computes a correct horizontal fragmentation.
引用
收藏
页码：101 / 116
页数：16
相关论文
共 50 条
  • [31] Secure Data Outsourcing with Adversarial Data Dependency Constraints
    Dong, Boxiang
    Wang, Wendy
    Yang, Jie
    2016 IEEE 2ND INTERNATIONAL CONFERENCE ON BIG DATA SECURITY ON CLOUD (BIGDATASECURITY), IEEE INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE AND SMART COMPUTING (HPSC), AND IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT DATA AND SECURITY (IDS), 2016, : 73 - 78
  • [32] Automatic verification of concurrent systems using a formula-based compositional approach
    Santone, A
    ACTA INFORMATICA, 2002, 38 (08) : 531 - 564
  • [33] Euler's Formula-Based Stability Assessment for Wideband Harmonic Resonances
    Chen Z.
    Luo A.
    Huang X.
    Yang J.
    Zhongguo Dianji Gongcheng Xuebao/Proceedings of the Chinese Society of Electrical Engineering, 2020, 40 (05): : 1509 - 1522
  • [34] DESIGN, PERFORMANCE, AND STABILITY ANALYSIS OF A FORMULA-BASED FUZZY PI CONTROLLER
    Kumar, Vineet
    Rana, K. P. S.
    Sinha, Arun Kumar
    INTERNATIONAL JOURNAL OF INNOVATIVE COMPUTING INFORMATION AND CONTROL, 2011, 7 (7B): : 4291 - 4308
  • [35] Performance formula-based optimal deployments of multilevel indices for service retrieval
    Wu, Yan
    Xu, Wei
    Liu, Lu
    Miao, Dejun
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2019, 31 (03):
  • [36] Formula-based estimates of the GFR: Equations variable and uncertain - Editorial comment
    El Nahas, M.
    NEPHRON CLINICAL PRACTICE, 2008, 110 (01): : C54 - C54
  • [37] Proposal of an objective formula-based model for equitable ranking of veterinary colleges
    Gogal Jr, Robert M.
    Holladay, Steven David
    FRONTIERS IN VETERINARY SCIENCE, 2025, 12
  • [38] Automatic verification of concurrent systems using a formula-based compositional approach
    Antonella Santone
    Acta Informatica, 2002, 38 : 531 - 564
  • [39] Complex Sensor Mashups for Linking Sensors and Formula-based Knowledge Bases
    Ro, Wonwoo
    Park, Giyong
    Chun, Sejin
    Lee, Kyong-Ho
    2015 IEEE 16TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION, 2015, : 126 - 133
  • [40] Selective Mu-calculus and formula-based equivalence of transition systems
    Barbuti, R
    De Francesco, N
    Santone, A
    Vaglini, G
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1999, 59 (03) : 537 - 556
12345