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 条
  • [21] Securus: From Confidentiality and Access Requirements to Data Outsourcing Solutions
    Koehler, Jens
    Juenemann, Konrad
    PRIVACY AND IDENTITY MANAGEMENT FOR EMERGING SERVICES AND TECHNOLOGIES, 2014, 421 : 139 - 149
  • [22] Modifying LOTOS specifications by means of automatable formula-based integrations
    Santone, A
    Vaglini, G
    JOURNAL OF AUTOMATED REASONING, 2003, 30 (01) : 33 - 58
  • [23] The use of a formula-based ketogenic diet in children with refractory epilepsy
    de Brito Sampaio, Leticia Pereira
    Takakura, Cristina
    Giraldes de Manreza, Maria Luiza
    ARQUIVOS DE NEURO-PSIQUIATRIA, 2017, 75 (04) : 234 - 237
  • [24] Formula-based method for capacitance extraction of interconnects with dummy fills
    Kurokawata, A
    Kasebe, A
    Kanamoto, T
    Yang, Y
    Huang, Z
    Inoue, Y
    Masuda, H
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2006, E89A (04) : 847 - 855
  • [25] Wideband ShermanMorrisonWoodbury Formula-Based Algorithm for Electromagnetic Scattering Problems
    Chen, Xinlei
    Zhang, Liyang
    Gu, Changqing
    Li, Zhuo
    IEEE TRANSACTIONS ON ANTENNAS AND PROPAGATION, 2023, 71 (06) : 5487 - 5492
  • [26] The Effect of Formula-based Nutritional Treatment on Colitis in a Murine Model
    Jang, Sooyoung
    Kim, Younjuong
    Lee, Changjun
    Kwon, Bomi
    Noh, Jihye
    Jee, Jai J.
    Yoon, Sang Sun
    Koh, Hong
    Park, Sowon
    JOURNAL OF KOREAN MEDICAL SCIENCE, 2021, 36 (50)
  • [27] Modifying LOTOS Specifications by Means of Automatable Formula-Based Integrations
    Antonella Santone
    Gigliola Vaglini
    Journal of Automated Reasoning, 2003, 30 : 33 - 58
  • [28] A Formula-Based Approach for Automatic Fault Localization of Imperative Programs
    Lamraoui, Si-Mohamed
    Nakajima, Shin
    FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2014, 2014, 8829 : 251 - 266
  • [29] Modifying LOTOS specifications by means of automatable formula-based integrations
    Santone, A. (santone@unisannio.it), 1600, Kluwer Academic Publishers (30):
  • [30] FORMULA-BASED CLASSIFICATION OF LEARNING DISABLED CHILDREN - EXAMINATION OF ISSUES
    DANIELSON, LC
    BAUER, JN
    JOURNAL OF LEARNING DISABILITIES, 1978, 11 (03) : 163 - 176
12345