A View-based Programmable Architecture for Controlling and Integrating Decentralized Data

The view and the view update are known mechanism for controlling access of data and for integrating data of different schemas. Despite intensive and long research on them in both the database community and the programming language community, we are facing difficulties to use them in practice. The main reason is that we are lacking of control over the view update strategy to deal with inherited ambiguity of view update for a given view. This vision paper aims to provide a new language-based approach to controlling and integrating decentralized data based on the view, and establish a software foundation for systematic construction of such data management systems. Our key observation is that a view should be defined through a view update strategy rather than a query. In other words, the view definition should be extracted from the view update strategy, which is in sharp contrast to the traditional approaches where the view update strategy is derived from the view definition. In this paper, we present the first programmable architecture with a declarative language for specifying update strategies over views, whose unique view definition can be automatically derived, and show how it can be effectively used to control data access, integrate data generally allowing coexistence of GAV (global as view) and LAV (local as view), and perform both analysis and updates on the integrated data. We demonstrate its usefulness through development of a privacy-preserving ride-sharing alliance system, discuss its application scope, and highlight future challenges.

[1]  Zhenjiang Hu,et al.  Monadic combinators for "Putback" style bidirectional programming , 2014, PEPM '14.

[2]  Kazutaka Matsuda,et al.  Bidirectionalization transformation based on automatic derivation of view complement functions , 2007, ICFP '07.

[3]  Benjamin C. Pierce,et al.  Relational lenses: a language for updatable views , 2006, PODS '06.

[4]  Benjamin C. Pierce,et al.  Matching lenses: alignment and view update , 2010, ICFP '10.

[5]  Xue Liu,et al.  A First Look at Information Entropy-Based Data Pricing , 2017, 2017 IEEE 37th International Conference on Distributed Computing Systems (ICDCS).

[6]  Dan Suciu,et al.  The Piazza peer data management system , 2004, IEEE Transactions on Knowledge and Data Engineering.

[7]  Yoshifumi Masunaga An intention-based approach to the updatability of views in relational databases , 2017, IMCOM.

[8]  Renée J. Miller,et al.  Mapping data in peer-to-peer systems: semantics and algorithmic issues , 2003, SIGMOD '03.

[9]  Martin Hofmann,et al.  Symmetric lenses , 2011, POPL '11.

[10]  Sheng Zhong,et al.  A Jointly Differentially Private Scheduling Protocol for Ridesharing Services , 2017, IEEE Transactions on Information Forensics and Security.

[11]  Umeshwar Dayal,et al.  On the correct translation of update operations on relational views , 1982, TODS.

[12]  Stefano Nativi,et al.  Earth Science Infrastructures Interoperability: The Brokering Approach , 2013, IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing.

[13]  Zhenjiang Hu,et al.  BiGUL: a formally verified core language for putback-based bidirectional programming , 2016, PEPM.

[14]  Milos Nikolic,et al.  DBToaster: Higher-order Delta Processing for Dynamic, Frequently Fresh Views , 2012, Proc. VLDB Endow..

[15]  Erez Shmueli,et al.  openPDS: Protecting the Privacy of Metadata through SafeAnswers , 2014, PloS one.

[16]  Yoshifumi Masunaga,et al.  A Relational Database View Update Translation Mechanism , 1984, VLDB.

[17]  Val Tannen,et al.  Collaborative data sharing via update exchange and provenance , 2013, TODS.

[18]  Verena Kantere,et al.  The hyperion project: from data integration to data coordination , 2003, SGMD.

[19]  Alon Y. Halevy,et al.  Piazza: data management infrastructure for semantic web applications , 2003, WWW '03.

[20]  Ralf Lämmel,et al.  Bidirectional Transformations: A Cross-Discipline Perspective , 2009, ICMT@TOOLS.

[21]  Federico Ferretti EU Competition Law, the Consumer Interest and Data Protection , 2014 .

[22]  Li Liu,et al.  Brul: A Putback-Based Bidirectional Transformation Library for Updatable Views , 2016, Bx@ETAPS.

[23]  Zhenjiang Hu,et al.  The essence of bidirectional programming , 2015, Science China Information Sciences.

[24]  Verena Kantere,et al.  GrouPeer: A System for Clustering PDMSs , 2011, Proc. VLDB Endow..

[25]  Benjamin C. Pierce,et al.  Combinators for bi-directional tree transformations: a linguistic approach to the view update problem , 2005, POPL '05.

[26]  Verena Kantere,et al.  GrouPeer: Dynamic clustering of P2P databases , 2009, Inf. Syst..

[27]  Stephen J. Hegner,et al.  An Order-Based Theory of Updates for Closed Database Views , 2004, Annals of Mathematics and Artificial Intelligence.

[28]  Aaron Roth,et al.  Buying private data at auction: the sensitive surveyor's problem , 2012, SECO.

[29]  James A. Larson,et al.  Updating relational views using knowledge at view definition and view update time , 1991, Inf. Syst..

[30]  Benjamin C. Pierce,et al.  Boomerang: resourceful lenses for string data , 2008, POPL '08.

[31]  Zachary G. Ives,et al.  ORCHESTRA: Rapid, Collaborative Sharing of Dynamic Data , 2005, CIDR.

[32]  Nicolas Spyratos,et al.  Update semantics of relational views , 1981, TODS.

[33]  Kotagiri Ramamohanarao,et al.  Privacy-Aware Dynamic Ride Sharing , 2016, ACM Trans. Spatial Algorithms Syst..

[34]  Raghu Ramakrishnan,et al.  Feeding frenzy: selectively materializing users' event feeds , 2010, SIGMOD Conference.

[35]  Zhenjiang Hu,et al.  Validity Checking of Putback Transformations in Bidirectional Programming , 2014, FM.

[36]  Benjamin C. Pierce,et al.  Updatable Security Views , 2009, 2009 22nd IEEE Computer Security Foundations Symposium.

[37]  Akio Yamamoto,et al.  Data Integration and Analysis System (DIAS) Contributing to Climate Change Analysis and Disaster Risk Reduction , 2017, Data Sci. J..

[38]  Benjamin Pierce,et al.  Lenses and View Update Translation , 2003 .

[39]  Eduardo B. Fernandez,et al.  Database Security and Integrity , 1981 .

[40]  Zhenjiang Hu,et al.  BiFluX: A Bidirectional Functional Update Language for XML , 2014, PPDP '14.

[41]  Aaron Roth Technical Perspective: Pricing information (and its implications) , 2017 .

[42]  Martin W. P. Savelsbergh,et al.  Optimization for dynamic ride-sharing: A review , 2012, Eur. J. Oper. Res..

[43]  James Cheney,et al.  Incremental relational lenses , 2018, Proc. ACM Program. Lang..

[44]  Janis Voigtländer Bidirectionalization for free! (Pearl) , 2009, POPL '09.

[45]  Amir Shaikhha,et al.  DBToaster: higher-order delta processing for dynamic, frequently fresh views , 2012, The VLDB Journal.

[46]  Hanan Samet,et al.  An online marketplace for geosocial data , 2015, SIGSPATIAL/GIS.

[47]  Alon Y. Halevy,et al.  Data Integration: After the Teenage Years , 2017, PODS.

[48]  Marie-José Huguet,et al.  Meeting points in ridesharing: A privacy-preserving approach , 2016, Transportation Research Part C: Emerging Technologies.

[49]  Dongxi Liu,et al.  Towards automatic model synchronization from model transformations , 2007, ASE.

[50]  Yoshifumi Masunaga,et al.  Extending the View Updatability of Relational Databases from Set Semantics to Bag Semantics and Its Implementation on PostgreSQL , 2018, IMCOM.

[51]  Arthur M. Keller,et al.  Choosing a View Update Translator by Dialog at View Definition Time , 1986, VLDB.

[52]  Florian Stahl,et al.  Pricing Approaches for Data Markets , 2012, BIRTE.

[53]  Alon Y. Halevy,et al.  Principles of Data Integration , 2012 .

[54]  Kazutaka Matsuda,et al.  Bidirectionalizing graph transformations , 2010, ICFP '10.

[55]  E. F. Codd,et al.  Recent Investigations in Relational Data Base Systems , 1974, ACM Pacific.

[56]  Fernando Ordóñez,et al.  Ridesharing: The state-of-the-art and future directions , 2013 .

[57]  Carlo Curino,et al.  How Clean Is Your Sandbox? - Towards a Unified Theoretical Framework for Incremental Bidirectional Transformations , 2012, ICMT@TOOLS.

[58]  Luping Ding,et al.  Dynamic Materialized Views , 2007, 2007 IEEE 23rd International Conference on Data Engineering.

[59]  Dan Suciu,et al.  A theory of pricing private data , 2012, ICDT '13.

[60]  Aaron Roth,et al.  Selling privacy at auction , 2015, Games Econ. Behav..

[61]  Zhenjiang Hu,et al.  An axiomatic basis for bidirectional programming , 2018, Proc. ACM Program. Lang..