<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta>
      <journal-title-group>
        <journal-title>DL</journal-title>
      </journal-title-group>
    </journal-meta>
    <article-meta>
      <title-group>
        <article-title>What It's Like to Be a Database Theorist in the Land of Multisets</article-title>
      </title-group>
      <contrib-group>
        <aff id="aff0">
          <label>0</label>
          <institution>Institute of Computer Science, University of Wrocław</institution>
          ,
          <country country="PL">Poland</country>
        </aff>
      </contrib-group>
      <pub-date>
        <year>2025</year>
      </pub-date>
      <volume>38</volume>
      <fpage>0000</fpage>
      <lpage>0001</lpage>
      <abstract>
        <p>for Invited Talk</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>My original plan for this lecture was to talk about attempts to solve two fundamental decision
problems in database theory — namely Query Determinacy Problem and Query Containment Problem —
in the setting where one considers multiset semantics instead of set semantics. But since I only have one
hour, rather than, say, four hours, I think I will focus exclusively, or almost exclusively, on the multiset
version of Query Containment Problem. People have been working on this problem for 35 years now.
Hundreds research person-years have been spent on it. Given that level of efort, surprisingly few
papers have been published. If academic’s success is measured by the number of publications, this
problem is certainly not worth working on! But there are a few beautiful mathematical anecdotes to tell,
which resulted from this research, and I will try to share some of them with you. I won’t say anything,
or almost anything, about the multiset version of Query Determinacy Problem. Which I regret, because
it is here where I passed through a door from the set semantics based database theory into the land of
multisets.</p>
    </sec>
  </body>
  <back>
    <ref-list />
  </back>
</article>