{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T06:48:08Z","timestamp":1743144488681,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030435196"},{"type":"electronic","value":"9783030435202"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-43520-2_4","type":"book-chapter","created":{"date-parts":[[2020,3,31]],"date-time":"2020-03-31T23:08:28Z","timestamp":1585696108000},"page":"47-64","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["The $$\\theta $$-Join as a Join with $$\\theta $$"],"prefix":"10.1007","author":[{"given":"Jules","family":"Desharnais","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"M\u00f6ller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,4,1]]},"reference":[{"key":"4_CR1","doi-asserted-by":"publisher","unstructured":"Berghammer, R., Haeberer, A., Schmidt, G., Veloso, P.: Comparing two different approaches to products in abstract relation algebra. In: Nivat, M., Rattray, C., Rus, T., Scollo, G. (eds.) AMAST 1993, pp. 167\u2013176. Springer, Heidelberg (1993). https:\/\/doi.org\/10.1007\/978-1-4471-3227-1_16","DOI":"10.1007\/978-1-4471-3227-1_16"},{"key":"4_CR2","doi-asserted-by":"publisher","unstructured":"Berghammer, R., von Karger, B.: Relational semantics of functional programs. In: Brink, C., Kahl, W., Schmidt, G. (eds.) Relational Methods in Computer Science. Advances in Computing Science, pp. 115\u2013130. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/978-3-7091-6510-2_8","DOI":"10.1007\/978-3-7091-6510-2_8"},{"issue":"6","key":"4_CR3","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/j.jlap.2011.04.003","volume":"80","author":"H-H Dang","year":"2011","unstructured":"Dang, H.-H., H\u00f6fner, P., M\u00f6ller, B.: Algebraic separation logic. J. Logic Algebraic Program. 80(6), 221\u2013247 (2011)","journal-title":"J. Logic Algebraic Program."},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/978-3-642-31113-0_10","volume-title":"Mathematics of Program Construction","author":"H-H Dang","year":"2012","unstructured":"Dang, H.-H., M\u00f6ller, B.: Reverse exchange for concurrency and local reasoning. In: Gibbons, J., Nogueira, P. (eds.) MPC 2012. LNCS, vol. 7342, pp. 177\u2013197. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-31113-0_10"},{"key":"4_CR5","first-page":"93","volume":"1","author":"J Desharnais","year":"2004","unstructured":"Desharnais, J., M\u00f6ller, B., Struth, G.: Modal Kleene algebra and applications \u2013 a survey. J. Relational Methods Comput. Sci. 1, 93\u2013131 (2004)","journal-title":"J. Relational Methods Comput. Sci."},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"798","DOI":"10.1145\/1183278.1183285","volume":"7","author":"J Desharnais","year":"2006","unstructured":"Desharnais, J., M\u00f6ller, B., Struth, G.: Kleene algebra with domain. ACM Trans. Comput. Logic 7, 798\u2013833 (2006)","journal-title":"ACM Trans. Comput. Logic"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Haeberer, A., Frias, M., Baum, G., Veloso, P.: Fork algebras. In: Brink, C., Kahl, W., Schmidt, G. (eds.) Relational Methods in Computer Science. Advances in Computing Science, pp. 54\u201369. Springer, Heidelberg (1997)","DOI":"10.1007\/978-3-7091-6510-2_4"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Horn, R., Johnson, C.: Topics in Matrix Analysis. Cambridge University Press, Cambridge (1991)","DOI":"10.1017\/CBO9780511840371"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1007\/978-3-319-94821-8_19","volume-title":"Interactive Theorem Proving","author":"W Kahl","year":"2018","unstructured":"Kahl, W.: CalcCheck: a proof checker for teaching the \u201clogical approach to discrete math\u201d. In: Avigad, J., Mahboubi, A. (eds.) ITP 2018. LNCS, vol. 10895, pp. 324\u2013341. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-94821-8_19"},{"key":"4_CR10","unstructured":"Kahl, W.: CalcCheck\u2014A proof-checker for Gries and Schneider\u2019s Logical Approach to Discrete Math. http:\/\/calccheck.mcmaster.ca\/"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Kanellakis, P.: Elements of relational database theory. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Volume B: Formal Models and Semantics, pp. 1073\u20131156. Elsevier (1990)","DOI":"10.1016\/B978-0-444-88074-1.50022-6"},{"key":"4_CR12","unstructured":"Kie\u00dfling, W.: Preference queries with SV-semantics. In: International Conference on Management of Data (COMAD 2005), pp. 15\u201326 (2005)"},{"key":"4_CR13","unstructured":"Kie\u00dfling, W., Endres, M., Wenzel, F.: The preference SQL system \u2013 an overview. Bull. Tech. Committee Data Eng. 34(2), 11\u201318 (2011). http:\/\/www.markusendres.de\/preferencesql\/"},{"key":"4_CR14","unstructured":"Kie\u00dfling, W., Hafenrichter, B.: Algebraic optimization of relational preference queries. Technical report No. 2003\u201301. University of Augsburg, Institute of Computer Science, February 2003"},{"key":"4_CR15","unstructured":"Maddux, R.: On the derivation of identities involving projection functions. In: Csirmaz, L., Gabbay, D., de Rijke, M. (eds.) Logic Colloquium \u201992. Studies in Logic, Languages, and Information, pp. 143\u2013163. CSLI Publications (1995)"},{"issue":"3","key":"4_CR16","doi-asserted-by":"publisher","first-page":"456","DOI":"10.1016\/j.jlamp.2015.01.001","volume":"84","author":"B M\u00f6ller","year":"2015","unstructured":"M\u00f6ller, B., Roocks, P.: An algebra of database preferences. J. Logical Algebraic Methods Program. 84(3), 456\u2013481 (2015)","journal-title":"J. Logical Algebraic Methods Program."},{"key":"4_CR17","doi-asserted-by":"publisher","unstructured":"Schmidt, G., Str\u00f6hlein, T.: Relations and Graphs: Discrete Mathematics for Computer Scientists. EATCS Monographs on Theoretical Computer Science. Springer, Heidelberg (1993). https:\/\/doi.org\/10.1007\/978-3-642-77968-8","DOI":"10.1007\/978-3-642-77968-8"},{"key":"4_CR18","unstructured":"Zierer, H.: Programmierung mit Funktionsobjekten: Konstruktive Erzeugung semantischer Bereiche und Anwendung auf die partielle Auswertung. Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen. Report TUM-I8803, February 1988"}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-43520-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,5]],"date-time":"2024-03-05T19:02:40Z","timestamp":1709665360000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-43520-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030435196","9783030435202"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-43520-2_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"1 April 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RAMiCS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Relational and Algebraic Methods in Computer Science","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Palaiseau","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 October 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 October 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ramics2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/ramics18.gforge.inria.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Open","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"29","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"20","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"69% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"The conference was held virtually due to the COVID-19 pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}