Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Implement new database utilizing sqlite #312

Open
wdcraft01 opened this issue Jul 18, 2023 · 0 comments
Open

Implement new database utilizing sqlite #312

wdcraft01 opened this issue Jul 18, 2023 · 0 comments
Assignees

Comments

@wdcraft01
Copy link
Collaborator

No description provided.

@wdcraft01 wdcraft01 self-assigned this Jul 18, 2023
wdcraft01 added a commit that referenced this issue Oct 5, 2023
Augment Database.fetch_all() method to allow the specification of attribute columns to include in fetch results. Related Issues: #312 .
wdcraft01 added a commit that referenced this issue Nov 2, 2023
Includes newly-, automatically-established pkg_database.db files throughout the logic/booleans package, a bunch of modifications to diagnostic/informational print statements in _theory_storage.py and theory.py, some minor updates to db-related code, and ongoing modifications to a couple 'testing_X.ipynb' notebooks. This is a temporary in-progress commit to allow creation of a new branch to address an issue in the TheoryStorageFolder._set_special_objects() method. Related Issue(s): #312 .
wdcraft01 added a commit that referenced this issue Jan 7, 2024
Update testing nbs in booleans and booleans/implications pkgs and update .gitignore file to include .db files (i.e. database files). Related Issue(s): #312 .
wdcraft01 added a commit that referenced this issue Jan 8, 2024
Adjust _theory_storage.py after merge to add back in a line for deriving a judgment_id used elsewhere in the code. The need for this adjustment was caught when resolving a few conflicts during the earlier merge process of master into this branch. Related issue: #312 .
wdcraft01 added a commit that referenced this issue Jul 16, 2024
wdcraft01 added a commit that referenced this issue Jul 16, 2024
wdcraft01 added a commit that referenced this issue Jul 16, 2024
Augment Database class (in database.py) with a retrieve_records_as_dictionaries() method that retrieves database records in the usual way (i.e. given certain criteria and then attributes to return) but now returns each found records in the form of a dictionary, in part to provide easier post-retrieval access and processing. Still some testing to be done to confirm everything works as expected. Related Issue: #312 .
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant