LICENSE
README.md
pyproject.toml
dbis_relational_calculus.egg-info/PKG-INFO
dbis_relational_calculus.egg-info/SOURCES.txt
dbis_relational_calculus.egg-info/dependency_links.txt
dbis_relational_calculus.egg-info/requires.txt
dbis_relational_calculus.egg-info/top_level.txt
relational_calculus/__init__.py
relational_calculus/domain_calculus/DomainCalculus.py
relational_calculus/domain_calculus/Result.py
relational_calculus/domain_calculus/Variable.py
relational_calculus/domain_calculus/__init__.py
relational_calculus/domain_calculus/formulas/Formula.py
relational_calculus/domain_calculus/formulas/Tuple.py
relational_calculus/domain_calculus/formulas/atoms/Equals.py
relational_calculus/domain_calculus/formulas/atoms/GreaterEquals.py
relational_calculus/domain_calculus/formulas/atoms/GreaterThan.py
relational_calculus/domain_calculus/formulas/atoms/LessEquals.py
relational_calculus/domain_calculus/formulas/atoms/LessThan.py
relational_calculus/domain_calculus/formulas/atoms/__init__.py
relational_calculus/domain_calculus/formulas/connectives/And.py
relational_calculus/domain_calculus/formulas/connectives/Not.py
relational_calculus/domain_calculus/formulas/connectives/Or.py
relational_calculus/domain_calculus/formulas/connectives/__init__.py
relational_calculus/domain_calculus/formulas/quantifiers/Exists.py
relational_calculus/domain_calculus/formulas/quantifiers/Forall.py
relational_calculus/domain_calculus/formulas/quantifiers/__init__.py
relational_calculus/tuple_calculus/Result.py
relational_calculus/tuple_calculus/TupleCalculus.py
relational_calculus/tuple_calculus/__init__.py
relational_calculus/tuple_calculus/formulas/Formula.py
relational_calculus/tuple_calculus/formulas/Variable.py
relational_calculus/tuple_calculus/formulas/atoms/Equals.py
relational_calculus/tuple_calculus/formulas/atoms/GreaterEquals.py
relational_calculus/tuple_calculus/formulas/atoms/GreaterThan.py
relational_calculus/tuple_calculus/formulas/atoms/LessEquals.py
relational_calculus/tuple_calculus/formulas/atoms/LessThan.py
relational_calculus/tuple_calculus/formulas/atoms/__init__.py
relational_calculus/tuple_calculus/formulas/connectives/And.py
relational_calculus/tuple_calculus/formulas/connectives/Not.py
relational_calculus/tuple_calculus/formulas/connectives/Or.py
relational_calculus/tuple_calculus/formulas/connectives/__init__.py
relational_calculus/tuple_calculus/formulas/quantifiers/Exists.py
relational_calculus/tuple_calculus/formulas/quantifiers/Forall.py
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