LICENSE
README.md
pyproject.toml
src/dbis_relational_calculus.egg-info/PKG-INFO
src/dbis_relational_calculus.egg-info/SOURCES.txt
src/dbis_relational_calculus.egg-info/dependency_links.txt
src/dbis_relational_calculus.egg-info/requires.txt
src/dbis_relational_calculus.egg-info/top_level.txt
src/relational_calculus/__init__.py
src/relational_calculus/domain_calculus/DomainCalculus.py
src/relational_calculus/domain_calculus/Result.py
src/relational_calculus/domain_calculus/Variable.py
src/relational_calculus/domain_calculus/__init__.py
src/relational_calculus/domain_calculus/formulas/Formula.py
src/relational_calculus/domain_calculus/formulas/Tuple.py
src/relational_calculus/domain_calculus/formulas/atoms/Equals.py
src/relational_calculus/domain_calculus/formulas/atoms/GreaterEquals.py
src/relational_calculus/domain_calculus/formulas/atoms/GreaterThan.py
src/relational_calculus/domain_calculus/formulas/atoms/LessEquals.py
src/relational_calculus/domain_calculus/formulas/atoms/LessThan.py
src/relational_calculus/domain_calculus/formulas/atoms/__init__.py
src/relational_calculus/domain_calculus/formulas/connectives/And.py
src/relational_calculus/domain_calculus/formulas/connectives/Not.py
src/relational_calculus/domain_calculus/formulas/connectives/Or.py
src/relational_calculus/domain_calculus/formulas/connectives/__init__.py
src/relational_calculus/domain_calculus/formulas/quantifiers/Exists.py
src/relational_calculus/domain_calculus/formulas/quantifiers/Forall.py
src/relational_calculus/domain_calculus/formulas/quantifiers/__init__.py
src/relational_calculus/tuple_calculus/Result.py
src/relational_calculus/tuple_calculus/TupleCalculus.py
src/relational_calculus/tuple_calculus/__init__.py
src/relational_calculus/tuple_calculus/formulas/Formula.py
src/relational_calculus/tuple_calculus/formulas/Variable.py
src/relational_calculus/tuple_calculus/formulas/atoms/Equals.py
src/relational_calculus/tuple_calculus/formulas/atoms/GreaterEquals.py
src/relational_calculus/tuple_calculus/formulas/atoms/GreaterThan.py
src/relational_calculus/tuple_calculus/formulas/atoms/LessEquals.py
src/relational_calculus/tuple_calculus/formulas/atoms/LessThan.py
src/relational_calculus/tuple_calculus/formulas/atoms/__init__.py
src/relational_calculus/tuple_calculus/formulas/connectives/And.py
src/relational_calculus/tuple_calculus/formulas/connectives/Not.py
src/relational_calculus/tuple_calculus/formulas/connectives/Or.py
src/relational_calculus/tuple_calculus/formulas/connectives/__init__.py
src/relational_calculus/tuple_calculus/formulas/quantifiers/Exists.py
src/relational_calculus/tuple_calculus/formulas/quantifiers/Forall.py
src/relational_calculus/tuple_calculus/formulas/quantifiers/__init__.py
tests/test_domain_calculus_sql.py
tests/test_domain_calculus_validity.py
tests/test_tuple_calculus_attribute_access.py
tests/test_tuple_calculus_sql.py
tests/test_tuple_calculus_validity.py