Answers are grounded in this paper and cite their sources.
column Share on Automatic Verification of Database-Centric Systems Authors: Alin Deutsch UC San Diego UC San DiegoView Profile , Richard Hull IBM T.J. Watson Research Center IBM T.J. Watson Research CenterView Profile , Victor Vianu UC San Diego & INRIA Saclay UC San Diego & INRIA SaclayView Profile Authors Info & Claims ACM SIGMOD RecordVolume 43Issue 3September 2014 pp 5–17https://doi.org/10.1145/2694428.2694430Published:04 December 2014Publication History 36citation194DownloadsMetricsTotal Citations36Total Downloads194Last 12 Months12Last 6 weeks1 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my Alerts New Citation Alert!
No takes yet. Share an insight, caveat, or question.
Deutsch et al. (2014) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: