Inference of monotonicity constraints in datalog programs

Alexander Brodsky*, Yehoshua Sagiv

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

36 Scopus citations
Original languageEnglish
Title of host publicationProc Eighth ACM SIGACT-SIGMOD-SIGART Symp Princ Database Syst
PublisherPubl by ACM
Pages190-199
Number of pages10
ISBN (Print)0897913086, 9780897913089
DOIs
StatePublished - 1989
EventProceedings of the Eight ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems - Philadelphia, PA, USA
Duration: 29 Mar 198931 Mar 1989

Publication series

NameProc Eighth ACM SIGACT-SIGMOD-SIGART Symp Princ Database Syst

Conference

ConferenceProceedings of the Eight ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems
CityPhiladelphia, PA, USA
Period29/03/8931/03/89

Cite this