{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T15:11:32Z","timestamp":1729609892245,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1109\/lics.2017.8005122","type":"proceedings-article","created":{"date-parts":[[2017,8,10]],"date-time":"2017-08-10T16:43:24Z","timestamp":1502383404000},"page":"1-10","source":"Crossref","is-referenced-by-count":3,"title":["The primitivity of operators in the algebra of binary relations under conjunctions of containments"],"prefix":"10.1109","author":[{"given":"Dimitri","family":"Surinx","sequence":"first","affiliation":[]},{"given":"Jan","family":"Van den Bussche","sequence":"additional","affiliation":[]},{"given":"Dirk","family":"Van Gucht","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2206869.2206879"},{"key":"ref11","article-title":"Quering graph databases with XPath","author":"libkin","year":"2013","journal-title":"Proceedings of the InternationalConference on Database Theory"},{"key":"ref12","article-title":"A practical query language for graph DBs","volume":"1087","author":"angles","year":"2013","journal-title":"Proceedings 7th Alberto Mendelzon International Workshop on Foundations of Data Management ser CEUR Workshop Proceedings"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370681"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2014.11.031"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzv028"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-013-9346-x"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exu018"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5694-3"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/256167.256195"},{"journal-title":"Relational algebra","year":"2006","author":"maddux","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1992.185537"},{"journal-title":"Relation Algebras by Games","year":"2002","author":"hirsch","key":"ref6"},{"journal-title":"Relation Algebras with Transitive Closure","year":"1984","author":"ng","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1328854.1328858"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1083784.1083792"},{"key":"ref2","volume":"41","author":"tarski","year":"1987","journal-title":"A Formalization of Set Theory Without Variables ser AMS Colloquium Publications"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.2307\/2268577"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1938551.1938578"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2015.17"},{"key":"ref22","doi-asserted-by":"crossref","DOI":"10.1145\/2809784","article-title":"Weaker forms of monotonicity for declarative networking: A more fine-grained answer to the CALM-conjecture","volume":"40","author":"ameloot","year":"2016","journal-title":"ACM Transactions on Database Systems"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-07003-1"},{"journal-title":"Generating plans from proofs The interpolation-based approach to query reformulation","year":"2016","author":"benedikt","key":"ref23"}],"event":{"name":"2017 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","start":{"date-parts":[[2017,6,20]]},"location":"Reykjavik, Iceland","end":{"date-parts":[[2017,6,23]]}},"container-title":["2017 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7999337\/8005055\/08005122.pdf?arnumber=8005122","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T17:13:32Z","timestamp":1602695612000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8005122\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/lics.2017.8005122","relation":{},"subject":[],"published":{"date-parts":[[2017,6]]}}}