skip to main content
research-article
Public Access

Scalable computation of high-order optimization queries

Published: 28 January 2019 Publication History

Abstract

Constrained optimization problems are at the heart of significant applications in a broad range of domains, including finance, transportation, manufacturing, and healthcare. Modeling and solving these problems has relied on application-specific solutions, which are often complex, error-prone, and do not generalize. Our goal is to create a domain-independent, declarative approach, supported and powered by the system where the data relevant to these problems typically resides: the database. We present a complete system that supports package queries, a new query model that extends traditional database queries to handle complex constraints and preferences over answer sets, allowing the declarative specification and efficient evaluation of a significant class of constrained optimization problems---integer linear programs (ILP)---within a database.

References

[1]
Alagoz, O., Schaefer, A.J., Roberts, M.S. Optimizing Organ Allocation and Acceptance. Springer, Boston, MA, 2009, 1--24.
[2]
Baykasoglu, A., Dereli, T., Das, S. Project team selection using fuzzy optimization approach. Cybern. Syst. 38, 2 (2007), 155--185.
[3]
Bisschop, J. AIMMS Optimization Modeling. Paragon Decision Technology, 2006.
[4]
Brucato, M., Abouzied, A., Meliou, A. Package queries: efficient and scalable computation of high-order constraints. VLDB J. (Oct. 2017).
[5]
Brucato, M., Beltran, J.F., Abouzied, A., Meliou, A. Scalable package queries in relational database systems. PVLDB 9, 7 (2016), 576--587.
[6]
Brucato, M., Ramakrishna, R., Abouzied, A., Meliou, A. PackageBuilder: From tuples to packages. PVLDB 7, 13 (2014), 1593--1596.
[7]
Chen, D.-S., Batson, R.G., Dang, Y. Applied Integer Programming: Modeling and Solution. John Wiley & Sons, 2011.
[8]
Cook, W., Hartmann, M. On the complexity of branch and cut methods for the traveling salesman problem. Polyhedral Comb. 1 (1990), 75--82.
[9]
De Choudhury, M., Feldman, M., Amer-Yahia, S., Golbandi, N., Lempel, R., Yu, C. Automatic construction of travel itineraries using social breadcrumbs. In Proceedings of the 21<sup>st</sup> ACM Conference on Hypertext and Hypermedia (Toronto, Ontario, Canada, June 13-16, 2010) ACM, NY, 35--44.
[10]
Deng, T., Fan, W., Geerts, F. On the complexity of package recommendation problems. In PODS '12 Proceedings of the 31st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (Scottsdale, Arizona, USA, May 21-23, 2012) ACM, NY, 261--272.
[11]
Finkel, R.A., Bentley, J.L. Quad trees a data structure for retrieval on composite keys. Acta Inf. 4, 1 (1974), 1--9.
[12]
IBM CPLEX Optimization Studio. http://www.ibm.com/software/commerce/optimization/cplex-optimizer/.
[13]
Lappas, T., Liu, K., Terzi, E. Finding a team of experts in social networks. In KDD '09 Proceedings of the 15th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (Paris, France, June 28-July 01, 2009) ACM, NY, 467--476.
[14]
Makuch, W.M., Dodge, J.L., Ecker, J.G., Granfors, D.C., Hahn, G.J. Managing consumer credit delinquency in the us economy: A multi-billion dollar management science application. Interfaces 22, 1 (1992), 90--109.
[15]
Meliou, A., Suciu, D. Tiresias: The database oracle for how-to queries. In SIGMOD '12 Proceedings of the 2012 ACM SIGMOD International Conference on Management of Data (Scottsdale, Arizona, USA, May 20-24, 2012) ACM, NY, 337--348.
[16]
Padberg, M., Rinaldi, G. A branch-and-cut algorithm for the resolution of large-scale symmetric traveling salesman problems. SIAM Rev. 33, 1 (1991), 60--100.
[17]
Parameswaran, A.G., Venetis, P., Garcia-Molina, H. Recommendation systems with complex constraints: A course recommendation perspective. ACM TOIS 29, 4 (2011), 1--33.
[18]
Pinel, F., Varshney, L.R. Computational creativity for culinary recipes. In CHI EA '14 CHI '14 Extended Abstracts on Human Factors in Computing Systems (Toronto, Ontario, Canada, April 26-May 01, 2014) ACM, NY, 439--442.
[19]
Rushmeier, R.A., Kontogiorgis, S.A. Advances in the optimization of airline fleet assignment. Transp. Sci. 31, 2 (1997), 159--169.
[20]
Sauer, O.A., Shepard, D.M., Mackie, T.R. Application of constrained optimization to radiotherapy planning. Med. Phys. 26, 11 (1999), 2359--2366.
[21]
Terrer, J.M.A., Benede, M.A.N., del Rio, E.B., Llanas, S.C. A feasible application of constrained optimization in the IMRT system. IEEE Trans. Biomed. Eng. 54, 3 (2007), 370--379.
[22]
The Sloan Digital Sky Survey. http://www.sdss.org/.
[23]
Wang, X., Dong, X.L., Meliou, A. In SIGMOD '15 Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data (Melbourne, Victoria, Australia, May 31-June 04, 2015) ACM, NY, 1231--1245.
[24]
Williamson, D.P., Shmoys, D.B. The Design of Approximation Algorithms. Cambridge University Press, 2011.

Cited By

View all

Recommendations

Comments

Information & Contributors

Information

Published In

cover image Communications of the ACM
Communications of the ACM  Volume 62, Issue 2
February 2019
112 pages
ISSN:0001-0782
EISSN:1557-7317
DOI:10.1145/3310134
Issue’s Table of Contents
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 28 January 2019
Published in CACM Volume 62, Issue 2

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Research-article
  • Research
  • Refereed

Funding Sources

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)852
  • Downloads (Last 6 weeks)111
Reflects downloads up to 04 Jan 2025

Other Metrics

Citations

Cited By

View all

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Digital Edition

View this article in digital edition.

Digital Edition

Magazine Site

View this article on the magazine site (external)

Magazine Site

Login options

Full Access

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media