Tools for Datalog boundedness
Gerd G. Hillebrand, Paris Christos Kanellakis, Harry George Mairson, Moshe Y. Vardi · 1991
Article Free Access Share on Tools for Datalog boundedness Authors: Gerd G. Hillebrand Brown Univ., Providence, RI Brown Univ., Providence, RIView Profile , Paris C. Kanellakis Brown Univ., Providence, RI Brown Univ., Providence, RIView Profile , Harry G. Mairson Brandeis Univ., Waltham, MA Brandeis Univ., Waltham, MAView Profile , Moshe Y. Vardi IBM Almaden Center, San Jose, CA IBM Almaden Center, San Jose, CAView Profile Authors Info & Claims PODS '91: Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systemsApril 1991 Pages 1–12https://doi.org/10.1145/113413.113414Published:01 April 1991Publication History 17citation342DownloadsMetricsTotal Citations17Total Downloads342Last 12 Months17Last 6 weeks3 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 AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF