Research Directions for Principles of Data Management

Total Page:16

File Type:pdf, Size:1020Kb

Research Directions for Principles of Data Management View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Archive Ouverte en Sciences de l'Information et de la Communication Research Directions for Principles of Data Management Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hullermeier, Benny Kimelfeld, Leonid Libkin, et al. To cite this version: Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, et al.. Research Directions for Principles of Data Management: Manifesto from Dagstuhl Perspectives Workshop 16151. Dagstuhl Manifestos, Schloss Dagstuhl - LZI GmbH, 2018, 7 (1), pp.1-29. 10.4230/DagMan.7.1.1. hal-01778196 HAL Id: hal-01778196 https://hal-upec-upem.archives-ouvertes.fr/hal-01778196 Submitted on 25 Apr 2018 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Distributed under a Creative Commons Attribution| 4.0 International License Manifesto from Dagstuhl Perspectives Workshop 16151 Research Directions for Principles of Data Management Serge Abiteboul1, Marcelo Arenas2, Pablo Barceló3, Meghyn Bienvenu4, Diego Calvanese5, Claire David6, Richard Hull7, Eyke Hüllermeier8, Benny Kimelfeld9, Leonid Libkin10, Wim Martens11, Tova Milo12, Filip Murlak13, Frank Neven14, Magdalena Ortiz15, Thomas Schwentick16, Julia Stoyanovich17, Jianwen Su18, Dan Suciu19, Victor Vianu20, and Ke Yi21 1 ENS – Cachan, FR 2 Pontificia Universidad Catolica de Chile, CL, [email protected] 3 DCC, University of Chile – Santiago de Chile, CL 4 University of Montpellier, FR 5 Free Univ. of Bozen-Bolzano, IT 6 University Paris-Est – Marne-la-Vallée, FR 7 IBM TJ Watson Research Center – Yorktown Heights, US, [email protected] 8 Universität Paderborn, DE 9 Technion – Haifa, IL 10 University of Edinburgh, GB 11 Universität Bayreuth, DE, [email protected] 12 Tel Aviv University, IL, [email protected] 13 University of Warsaw, PL 14 Hasselt Univ. – Diepenbeek, BE 15 TU Wien, AT 16 TU Dortmund, DE, [email protected] 17 Drexel University — Philadelphia, US 18 University of California – Santa Barbara, US 19 University of Washington – Seattle, US 20 University of California – San Diego, US 21 HKUST – Kowloon, HK Abstract The area of Principles of Data Management (PDM) has made crucial contributions to the de- velopment of formal frameworks for understanding and managing data and knowledge. This work has involved a rich cross-fertilization between PDM and other disciplines in mathematics and computer science, including logic, complexity theory, and knowledge representation. We an- ticipate on-going expansion of PDM research as the technology and applications involving data management continue to grow and evolve. In particular, the lifecycle of Big Data Analytics raises a wealth of challenge areas that PDM can help with. In this report we identify some of the most important research directions where the PDM community has the potential to make significant contributions. This is done from three perspec- tives: potential practical relevance, results already obtained, and research questions that appear surmountable in the short and medium term. Perspectives Workshop April 10–15, 2016 – http://www.dagstuhl.de/16151 2012 ACM Subject Classification Theory of computation → Database theory Keywords and phrases database theory, principles of data management, query languages, ef- ficient query processing, query optimization, heterogeneous data, uncertainty, knowledge- enriched data management, machine learning, workflows, human-related data, ethics Digital Object Identifier 10.4230/DagMan.7.1.1 Except where otherwise noted, content of this manifesto is licensed under a Creative Commons BY 3.0 Unported license Engineering Academic Software, Dagstuhl Manifestos, Vol. 7, Issue 1, pp. 1–29 Authors: S. Abiteboul et al. Dagstuhl Manifestos Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany 2 Research directions for Principles of Data Management Executive Summary In April 2016, a community of researchers working in the area of Principles of Data Manage- ment (PDM) joined in the Dagstuhl Castle in Germany for a workshop organized jointly by the Executive Committee of the ACM Symposium on Principles of Database Systems (PODS) and the Council of the International Conference on Database Theory (ICDT). The mission of this workshop was to identify and explore some of the most important research directions that have high relevance to society and to Computer Science today, and where the PDM community has the potential to make significant contributions. This report describes the family of research directions that the workshop focused on from three perspectives: potential practical relevance, results already obtained, and research questions that appear surmountable in the short and medium term. This report organizes the identified research challenges for PDM around seven core themes, namely Query Processing at Scale, Multi-model Data, Uncertain Information, Knowledge-enriched Data, Data Management and Machine Learning, Process and Data, and Ethics and Data Management. Since new challenges in PDM arise all the time, we note that this list of themes is not intended to be exhaustive. This report is intended for a diverse audience. It is intended for government and industry funding agencies, because it includes an articulation of important areas where the PDM community is already contributing to the key data management challenges in our era, and has the potential to contribute much more. It is intended for universities and colleges world-wide, because it articulates the importance of continued research and education in the foundational elements of data management, and it highlights growth areas for Computer Science and Management of Information Science research. It is intended for researchers and students, because it identifies emerging, exciting research challenges in the PDM area, all of which have very timely practical relevance. It is also intended for policy makers, sociologists, and philosophers, because it re-iterates the importance of considering ethics in many aspects of data creation, access, and usage, and suggests how research can help to find new ways for maximizing the benefits of massive data while nevertheless safeguarding the privacy and integrity of citizens and societies. S. Abiteboul et al. 3 Contents Executive Summary ................................... 2 Introduction ........................................ 4 Query Processing at Scale ................................ 6 Multi-model Data: Towards an Open Ecosystem of Data Models . 8 Uncertain Information .................................. 10 Knowledge-enriched Data Management ....................... 13 Data Management and Machine Learning ...................... 16 Process and Data ..................................... 18 Human-Related Data and Ethics ........................... 21 Looking Forward ...................................... 22 References .......................................... 23 1 6 1 5 1 4 Research directions for Principles of Data Management 1 Introduction In April 2016, a community of researchers working in the area of Principles of Data Manage- ment (PDM) joined in the Dagstuhl Castle in Germany for a workshop organized jointly by the Executive Committee of the ACM Symposium on Principles of Database Systems (PODS) and the Council of the International Conference on Database Theory (ICDT). The mission of this workshop was to identify and explore some of the most important research directions that have high relevance to society and to Computer Science today, and where the PDM community has the potential to make significant contributions. This report describes the family of research directions that the workshop focused on from three perspectives: potential practical relevance, results already obtained, and research questions that appear surmountable in the short and medium term. This report organizes the identified research challenges for PDM around seven core themes, namely Query Processing at Scale, Multi-model Data, Uncertain Information, Knowledge-enriched Data, Data Management and Machine Learning, Process and Data, and Ethics and Data Management. Since new challenges in PDM arise all the time, we note that this list of themes is not intended to be exhaustive. This report is intended for a diverse audience. It is intended for government and industry funding agencies, because it includes an articulation of important areas where the PDM community is already contributing to the key data management challenges in our era, and has the potential to contribute much more. It is intended for universities and colleges world-wide, because it articulates the importance of continued research and education in the foundational elements of data management, and it highlights growth areas for Computer Science and Management of Information Science research. It is intended for researchers and students, because it identifies emerging, exciting research challenges in the PDM area, all of which have very timely practical
Recommended publications
  • Probabilistic Databases
    Series ISSN: 2153-5418 SUCIU • OLTEANU •RÉ •KOCH M SYNTHESIS LECTURES ON DATA MANAGEMENT &C Morgan & Claypool Publishers Series Editor: M. Tamer Özsu, University of Waterloo Probabilistic Databases Probabilistic Databases Dan Suciu, University of Washington, Dan Olteanu, University of Oxford Christopher Ré,University of Wisconsin-Madison and Christoph Koch, EPFL Probabilistic databases are databases where the value of some attributes or the presence of some records are uncertain and known only with some probability. Applications in many areas such as information extraction, RFID and scientific data management, data cleaning, data integration, and financial risk DATABASES PROBABILISTIC assessment produce large volumes of uncertain data, which are best modeled and processed by a probabilistic database. This book presents the state of the art in representation formalisms and query processing techniques for probabilistic data. It starts by discussing the basic principles for representing large probabilistic databases, by decomposing them into tuple-independent tables, block-independent-disjoint tables, or U-databases. Then it discusses two classes of techniques for query evaluation on probabilistic databases. In extensional query evaluation, the entire probabilistic inference can be pushed into the database engine and, therefore, processed as effectively as the evaluation of standard SQL queries. The relational queries that can be evaluated this way are called safe queries. In intensional query evaluation, the probabilistic Dan Suciu inference is performed over a propositional formula called lineage expression: every relational query can be evaluated this way, but the data complexity dramatically depends on the query being evaluated, and Dan Olteanu can be #P-hard. The book also discusses some advanced topics in probabilistic data management such as top-kquery processing, sequential probabilistic databases, indexing and materialized views, and Monte Carlo databases.
    [Show full text]
  • O. Peter Buneman Curriculum Vitæ – Jan 2008
    O. Peter Buneman Curriculum Vitæ { Jan 2008 Work Address: LFCS, School of Informatics University of Edinburgh Crichton Street Edinburgh EH8 9LE Scotland Tel: +44 131 650 5133 Fax: +44 667 7209 Email: [email protected] or [email protected] Home Address: 14 Gayfield Square Edinburgh EH1 3NX Tel: 0131 557 0965 Academic record 2004-present Research Director, Digital Curation Centre 2002-present Adjunct Professor of Computer Science, Department of Computer and Information Science, University of Pennsylvania. 2002-present Professor of Database Systems, Laboratory for the Foundations of Computer Science, School of Informatics, University of Edinburgh 1990-2001 Professor of Computer Science, Department of Computer and Information Science, University of Pennsylvania. 1981-1989 Associate Professor of Computer Science, Department of Computer and Information Science, University of Pennsylvania. 1981-1987 Graduate Chairman, Department of Computer and Information Science, University of Pennsyl- vania 1975-1981 Assistant Professor of Computer Science at the Moore School and Assistant Professor of Decision Sciences at the Wharton School, University of Pennsylvania. 1969-1974 Research Associate and subsequently Lecturer in the School of Artificial Intelligence, Edinburgh University. Education 1970 PhD in Mathematics, University of Warwick (Supervisor E.C. Zeeman) 1966 MA in Mathematics, Cambridge. 1963-1966 Major Scholar in Mathematics at Gonville and Caius College, Cambridge. Awards, Visting positions Distinguished Visitor, University of Auckland, 2006 Trustee, VLDB Endowment, 2004 Fellow of the Royal Society of Edinburgh, 2004 Royal Society Wolfson Merit Award, 2002 ACM Fellow, 1999. 1 Visiting Resarcher, INRIA, Jan 1999 Visiting Research Fellowship sponsored by the Japan Society for the Promotion of Science, Research Institute for the Mathematical Sciences, Kyoto University, Spring 1997.
    [Show full text]
  • Foundations of Data Management
    Report from Dagstuhl Perspectives Workshop 16151 Foundations of Data Management Edited by Marcelo Arenas1, Richard Hull2, Wim Martens3, Tova Milo4, and Thomas Schwentick5 1 Pontificia Universidad Catolica de Chile, CL, [email protected] 2 IBM TJ Watson Research Center – Yorktown Heights, US, [email protected] 3 Universität Bayreuth, DE, [email protected] 4 Tel Aviv University, IL, [email protected] 5 TU Dortmund, DE, [email protected] Abstract In this Perspectives Workshop we have explored the degree to which principled foundations are crucial to the long-term success and effectiveness of the new generation of data management paradigms and applications, and investigated what forms of research need to be pursued to develop and advance these foundations. The workshop brought together specialists from the existing database theory community, and from adjoining areas, particularly from various subdisciplines within the Big Data community, to understand the challenge areas that might be resolved through principled foundations and mathematical theory. Perspectives Workshop April 10–15, 2016 – http://www.dagstuhl.de/16151 1998 ACM Subject Classification H.2 Database Management Keywords and phrases Foundations of data management, Principles of databases Digital Object Identifier 10.4230/DagRep.6.4.39 Edited in cooperation with Pablo Barceló 1 Executive Summary Marcelo Arenas Richard Hull Wim Martens Tova Milo Thomas Schwentick License Creative Commons BY 3.0 Unported license © Marcelo Arenas, Richard Hull, Wim Martens, Tova Milo, and Thomas Schwentick The focus of Foundations of Data Management (traditionally termed Database Theory) is to provide the many facets of data management with solid and robust mathematical foundations.
    [Show full text]
  • Semistructured Data
    Edinburgh Research Explorer Semistructured Data Citation for published version: Buneman, P 1997, Semistructured Data. in PODS '97 Proceedings of the sixteenth ACM SIGACT- SIGMOD-SIGART symposium on Principles of database systems. ACM, pp. 117-121. https://doi.org/10.1145/263661.263675 Digital Object Identifier (DOI): 10.1145/263661.263675 Link: Link to publication record in Edinburgh Research Explorer Document Version: Early version, also known as pre-print Published In: PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems General rights Copyright for the publications made accessible via the Edinburgh Research Explorer is retained by the author(s) and / or other copyright owners and it is a condition of accessing these publications that users recognise and abide by the legal requirements associated with these rights. Take down policy The University of Edinburgh has made every reasonable effort to ensure that Edinburgh Research Explorer content complies with UK legislation. If you believe that the public display of this file breaches copyright please contact [email protected] providing details, and we will remove access to the work immediately and investigate your claim. Download date: 27. Sep. 2021 Semistructured Data Peter Buneman Department of Computer and Information Science University of Pennsylvania Philadelphia PA p etercisup ennedu Some data really is unstructured Abstract The most obvious motivation comes from the need to bring In semistructured data the information that
    [Show full text]
  • A Query Language for NC
    University of Pennsylvania ScholarlyCommons Technical Reports (CIS) Department of Computer & Information Science February 1994 A Query Language for NC Dan Suciu University of Pennsylvania Val Tannen University of Pennsylvania, [email protected] Follow this and additional works at: https://repository.upenn.edu/cis_reports Recommended Citation Dan Suciu and Val Tannen, "A Query Language for NC", . February 1994. University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-94-05. This paper is posted at ScholarlyCommons. https://repository.upenn.edu/cis_reports/311 For more information, please contact [email protected]. A Query Language for NC Abstract We show that a form of divide and conquer recursion on sets together with the relational algebra expresses exactly the queries over ordered relational databases which are NC-computable. At a finer level, we relate k nested uses of recursion exactly to ACk, k ≥ 1. We also give corresponding results for complex objects. Comments University of Pennsylvania Department of Computer and Information Science Technical Report No. MS- CIS-94-05. This technical report is available at ScholarlyCommons: https://repository.upenn.edu/cis_reports/311 A Query Language for NC MS-CIS-94-05 LOGIC & COMPUTATION 77 Dan Suciu Val Breazu-Tannen University of Pennsylvania School of Engineering and Applied Science Computer and Information Science Department Philadelphia, PA 19104-6389 February 1994 A Query Language for NC Dan Suciu Val Breazu-Tannen* Deptartrnent of Computer and Information Science University of Pennsylvania Philadelphia, PA 19104-6389, USA Email: (suciu,val)@saul.cis.upenn.edu Abstract where 111 , 112 are the relational projections.
    [Show full text]
  • Provenance As Dependency Analysis†
    Under consideration for publication in Math. Struct. in Comp. Science Provenance as Dependency Analysis† 1 2 3 James Cheney ‡ and Amal Ahmed and Umut A. Acar § 1University of Edinburgh 2Indiana University 3Max-Planck Institute for Software Systems Received 15 October 2010 Provenance is information recording the source, derivation, or history of some information. Provenance tracking has been studied in a variety of settings, particularly database management systems; however, although many candidate definitions of provenance have been proposed, the mathematical or semantic foundations of data provenance have received comparatively little attention. In this article, we argue that dependency analysis techniques familiar from program analysis and program slicing provide a formal foundation for forms of provenance that are intended to show how (part of) the output of a query depends on (parts of) its input. We introduce a semantic characterization of such dependency provenance for a core database query language, show that minimal dependency provenance is not computable, and provide dynamic and static approximation techniques. We also discuss preliminary implementation experience with using dependency provenance to compute data slices, or summaries of the parts of the input relevant to a given part of the output. 1. Introduction Provenance is information about the origin, ownership, influences upon, or other historical or contextual information about an object. Such information has many applications, including eval- uating integrity or authenticity claims, detecting and repairing errors, and memoizing and caching the results of computations such as scientific workflows [Lynch, 2000, Bose and Frew, 2005, Simmhan et al., 2005]. Provenance is particularly important in scientific computation and record- keeping, since it is considered essential for ensuring the repeatability of experiments and judging the scientific value of their results [Buneman et al., 2008a].
    [Show full text]
  • Dan Suciu Speaks out on Research, Shyness and Being a Scientist
    Dan Suciu Speaks Out on Research, Shyness and Being a Scientist Marianne Winslett and Vanessa Braganholo Dan Suciu https://homes.cs.washington.edu/~suciu/ Welcome to ACM SIGMOD Record’s series of interviews with distinguished members of the database community. I’m Marianne Winslett, and today we are in Snowbird, Utah, USA, site of the 2014 SIGMOD and PODS conference. I have here with me Dan Suciu, who is a professor at the University of Washington. Dan has two Test of Time Awards from PODS as well as Best Paper Awards from SIGMOD and ICDT. Dan’s Ph.D. is from the University of Pennsylvania. 28 SIGMOD Record, December 2017 (Vol. 46, No. 4) So, Dan, welcome! Ah, I think that kind of depends on you, and I don’t think your email address is worth in isolation. Maybe it Thank you. is, but you’re part of a larger population. The question is, what is it worth to the analyst to get statistical Can we put a price on individuals’ privacy? information about that population? There is a game between users who would like to be compensated for Oh, that’s tough. Today users give away their private access to their data and the analyst who would like to information to Internet companies like Google or pay for access to aggregated data over a larger Yahoo for free, but this has to change. Users need to population. So, I don’t have a good answer to this. I have control over their private data. So, it’s not clear think that there are developing techniques that would how this would happen, but at the University of allow the users to choose their price.
    [Show full text]
  • Any Algorithm in the Complex Object Algebra with Powerset Needs Exponential Space to Compute Transitive Closure
    University of Pennsylvania ScholarlyCommons Technical Reports (CIS) Department of Computer & Information Science February 1994 Any Algorithm in the Complex Object Algebra With Powerset Needs Exponential Space to Compute Transitive Closure Dan Suciu University of Pennsylvania Jan Paredaens University of Pennsylvania Follow this and additional works at: https://repository.upenn.edu/cis_reports Recommended Citation Dan Suciu and Jan Paredaens, "Any Algorithm in the Complex Object Algebra With Powerset Needs Exponential Space to Compute Transitive Closure", . February 1994. University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-94-04. This paper is posted at ScholarlyCommons. https://repository.upenn.edu/cis_reports/303 For more information, please contact [email protected]. Any Algorithm in the Complex Object Algebra With Powerset Needs Exponential Space to Compute Transitive Closure Abstract The Abiteboul and Beeri algebra for complex objects can express a query whose meaning is transitive closure, but the algorithm naturally associated to this query needs exponential space. We show that any other query in the algebra which expresses transitive closure needs exponential space. This proves that in general the powerset is an intractable operator for implementing fixpoint queries. Comments University of Pennsylvania Department of Computer and Information Science Technical Report No. MS- CIS-94-04. This technical report is available at ScholarlyCommons: https://repository.upenn.edu/cis_reports/303 Any Algorithm in the Complex Object Algebra with Powerset Needs Exponential Space to Compute Transitive Closure MS-CIS-94-04 LOGIC & COMPUTATION 76 Dan Suciu Jan Paredaens University of Pennsylvania School of Engineering and Applied Science Computer and Information Science Department Philadelphia, PA 19104-6389 February 1994 Any Algorithm in the Complex Object Algebra with Powerset Needs Exponential Space to Compute Transitive Closure Dan Suciu* Jan Paredaens Dept.
    [Show full text]
  • Domain-Independent Queries on Databases with External Functions
    University of Pennsylvania ScholarlyCommons Technical Reports (CIS) Department of Computer & Information Science September 1994 Domain-Independent Queries on Databases With External Functions Dan Suciu University of Pennsylvania Follow this and additional works at: https://repository.upenn.edu/cis_reports Recommended Citation Dan Suciu, "Domain-Independent Queries on Databases With External Functions", . September 1994. University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-94-48. This paper is posted at ScholarlyCommons. https://repository.upenn.edu/cis_reports/506 For more information, please contact [email protected]. Domain-Independent Queries on Databases With External Functions Abstract We investigate queries in the presence of external functions with arbitrary inputs and outputs (atomic values, sets, nested sets etc). We propose a new notion of domain independence for queries with external functions which, in contrast to previous work, can also be applied to query languages with fixpoints or other kinds of iterators. Next, we define two new notions of computable queries with external functions, and prove that they are equivalent, under the assumption that the external functions are total. Thus, our definition of computable queries with external functions is obust.r Finally, based on the equivalence result, we give examples of complete query languages with external functions. A byproduct of the equivalence result is the fact that Relational Machines are complete for complex
    [Show full text]