f6b4c6708b
Operations are possible even when the order of the attributes is not the same. Because ordering is just an implementation detail and not an actual part of relational algebra. A _rearrange() function exists to convert relations to have a similar format and be able to operate on them. The function would perform a projection in any case, which would cause the creation of a new temporary relation, even when the relations where already using the same order of attributes. This commit fixes the issue by making it return an identity if the operation is not necessary. |
||
---|---|---|
debian | ||
feedback-ltworf | ||
relational | ||
relational_curses | ||
relational_gui | ||
relational_readline | ||
samples | ||
setup | ||
test | ||
windows | ||
.gitignore | ||
CHANGELOG | ||
COPYING | ||
CREDITS | ||
Makefile | ||
README.md | ||
TODO | ||
complexity | ||
driver.py | ||
relational-cli.1 | ||
relational.1 | ||
relational.desktop | ||
relational_gui.py |
README.md
Relational an educational tool to provide a workspace for experimenting with relational algebra, an offshoot of first-order logic.
It provides GUI that can be used for executing relational queries, and also provides a command line interface.
Provides a standalone Python module that can be used for executing relational queries, parsing relational expressions and optimizing them.
Official website
More documentation can be found here http://ltworf.github.io/relational/
Install
Binary download for Windows can be obtained from the website.
For Linux, check your distribution's packages, relational is available on Debian and Ubuntu.
Syntax
These are some valid queries
σage > 25 and rank == weight(A)
σ (name.upper().startswith('J') and age>21 )(people)
Q ⋈ π a,b(A) ⋈ B
ρid➡i,name➡n(A) - π a,b(π a,b(A)) ∩ σage > 25 or rank = weight(A)
π a,b(π a,b(A))
ρid➡i,name➡n(π a,b(A))
A ⋈ B
Run from sources
To launch the application, run
./relational_gui.py
If it needs some dependencies: Qt5, Python 3.4 or greater, PyQt5
It can run on osx but bugreports about that will be rejected.