-
Notifications
You must be signed in to change notification settings - Fork 0
Comparing changes
Open a pull request
base repository: MatBon01/joinbench
base: v0.1.2
head repository: MatBon01/joinbench
compare: main
Commits on Jan 9, 2023
-
Create interim report structure (#3)
* Add introduction to spec * Include and document interim sections * Change interim report to edited report format This is the suggested layout for the final report, edited to be more readable. * Move title library to title folder * Move all report folders to a report directory * Add extra dependency for latex compilation * Remove spell tests
Configuration menu - View commit details
-
Copy full SHA for 6639dae - Browse repository at this point
Copy the full SHA 6639daeView commit details -
* Add main paper to BibTeX * Fix bibliography * Add abstract as project description * Fix linting issue
Configuration menu - View commit details
-
Copy full SHA for 2f24db7 - Browse repository at this point
Copy the full SHA 2f24db7View commit details
Commits on Jan 24, 2023
-
Add basics of background info (#12)
* Write draft structure for the background section * Draft structure for category theory crash course * Draft relational algebra crash course structure * Add outline for the evolution of database * Introduce bags * Remove linting warnings from being sent * Add some mathematical introduction to indexed table * Finish definition of finite map
Configuration menu - View commit details
-
Copy full SHA for e95521c - Browse repository at this point
Copy the full SHA e95521cView commit details -
* Download ethics checklist * Change checklist columns * Fill in checklist * Add introduction to ethics * Structure ethics chapter * Add paragraph on energy consumption * Write about using someone else's idea * Add comments on data sources * Add todo to consider talking about distribution * Fix spelling issues
Configuration menu - View commit details
-
Copy full SHA for a4dacb4 - Browse repository at this point
Copy the full SHA a4dacb4View commit details -
* Update ethics checklist * Use the checklist change to add detail
Configuration menu - View commit details
-
Copy full SHA for 1300379 - Browse repository at this point
Copy the full SHA 1300379View commit details -
Add an introduction to the background section (#15)
* Add an introduction to the background section * Split crash course into separate files * Add note to adjunctions * Fix spelling mistakes
Configuration menu - View commit details
-
Copy full SHA for d91a0ad - Browse repository at this point
Copy the full SHA d91a0adView commit details
Commits on Jan 26, 2023
-
Draft section on relational algebra (#16)
* Add Database Systems to references * Reorganise background This includes reorganising the section on the relational model of a database and adding a brief introduction. * Fix broken bib record for Database Systems * Fix Database Systems bibtex entry * Add definition of relation and scheme * Finish introduction to relational model * Write introduction to relational algebra * Write subsection on permutation * Write section on projection * Include new table to show tuple * Add example table * Make font for keywords more regular * Fix spacings and spelling Spelling was in a TODO so does not matter much * Remove todo to fix attribute format * Write theory behind selection * Write section on selection * Complete section on product * Write paragraph on the natural join * Write paragraph on theta-join * Draft section on equijoins * Add in reference and fix spelling
Configuration menu - View commit details
-
Copy full SHA for 75ebb61 - Browse repository at this point
Copy the full SHA 75ebb61View commit details -
Start drafting the introduction to category theory (#17)
* Write an introduction to category theory * Introduce categories * Refine wording of introduction to categories * Define category
Configuration menu - View commit details
-
Copy full SHA for f16bfe8 - Browse repository at this point
Copy the full SHA f16bfe8View commit details -
First draft of the introduction (#18)
* Draft an introduction to the original paper * Write point of the project
Configuration menu - View commit details
-
Copy full SHA for 27b0191 - Browse repository at this point
Copy the full SHA 27b0191View commit details -
* Write structure for the project plan * Draft a project plan
Configuration menu - View commit details
-
Copy full SHA for f36da8c - Browse repository at this point
Copy the full SHA f36da8cView commit details -
* Write section on correctness * Comment on the evaluation of the analysis
Configuration menu - View commit details
-
Copy full SHA for 5294d5a - Browse repository at this point
Copy the full SHA 5294d5aView commit details
Commits on Mar 30, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 241de98 - Browse repository at this point
Copy the full SHA 241de98View commit details -
Add bulk-type project extension ideas to report (#22)
* Reword introduction * Add normal logic program idea to introduction * Add project plan for logic programming * Add an evaluation plan for the project extension * Add ethical considerations of the extensions
Configuration menu - View commit details
-
Copy full SHA for 35b10f3 - Browse repository at this point
Copy the full SHA 35b10f3View commit details -
Configuration menu - View commit details
-
Copy full SHA for 3e78b57 - Browse repository at this point
Copy the full SHA 3e78b57View commit details
Commits on Apr 2, 2023
-
Create a final report file (#24)
* Add file for packages in preamble * Remove list of tables and figures from interim * Include all chapters of interim * Put abstract in separate file * Reorganise the main interim report * Create final report document * Add comments for chapters of final report * Combine references * Move background include to own interim file * Move interim ethical issues to own file * Move interim introduction to own file * Fix input of ethical issues in interim * Add final report to makefile
Configuration menu - View commit details
-
Copy full SHA for 50f5035 - Browse repository at this point
Copy the full SHA 50f5035View commit details -
Fix spelling in pipeline (#26)
* Move interim and final to report directory * Fix spell checking in pipeline * Fix some make commands in github workflows * Change linting to always succeed github status
Configuration menu - View commit details
-
Copy full SHA for 8cec806 - Browse repository at this point
Copy the full SHA 8cec806View commit details -
Report number of linting warnings (#27)
* Report number of linting warnings * Fix change of linting github status
Configuration menu - View commit details
-
Copy full SHA for 37bd0df - Browse repository at this point
Copy the full SHA 37bd0dfView commit details
Commits on Apr 5, 2023
-
Implement a Bag data structure (#28)
* Add record type for bags implementation * Create a cabal project * Add DatabaseBagsTest to cabal project * Add MultiSet to the test database * Define a table as a MultiSet * Add newTable function * Add singletonTable function * Add union function * Add test suite for bag package * Create Bag signature * Create function for empty * Clean package structure * Set up test suite * Implement and test singleton * Clean singleton test * Change bag definiton to match paper supplement * Make Bag a functor * Define applicative for bag * Define Monad for Bag * Test Applicative for Bags * Test Monad instance of Bag * Remove unused ghc pragma * Add empty function to Bags * Fix bag equality * Improve efficiency of eq * Implement Semigroup for Bag * Define a commutative monoid * Define Bag as a monoid * Define a Bag as a commutative monoid
Configuration menu - View commit details
-
Copy full SHA for 30560fb - Browse repository at this point
Copy the full SHA 30560fbView commit details -
* Create haskell.yml Signed-off-by: Matteo Bongiovanni <40599507+MatBon01@users.noreply.github.com> * Specify checks as report checks Signed-off-by: Matteo Bongiovanni <40599507+MatBon01@users.noreply.github.com> * Fix project name * Fix declaration of CMonoid module * Make base version more lenient * Revert "Make base version more lenient" This reverts commit 7d26f34. * Add more available base versions * Remove Haskell pipeline * Rename paper mentioned Signed-off-by: Matteo Bongiovanni <40599507+MatBon01@users.noreply.github.com> --------- Signed-off-by: Matteo Bongiovanni <40599507+MatBon01@users.noreply.github.com>
Configuration menu - View commit details
-
Copy full SHA for 177617b - Browse repository at this point
Copy the full SHA 177617bView commit details
Commits on Apr 6, 2023
-
* Define PointedSet type class * Add PointedSet to cabal file * Fix quantification of PointedSet module name * Define a Bag as a PointedSet
Configuration menu - View commit details
-
Copy full SHA for b6348ee - Browse repository at this point
Copy the full SHA b6348eeView commit details -
* Add section on Functors * Fix spelling error
Configuration menu - View commit details
-
Copy full SHA for 550ce45 - Browse repository at this point
Copy the full SHA 550ce45View commit details
Commits on Apr 7, 2023
-
Add natural transformations definition (#33)
* Write introduction * Create theorem for natural transformation * Create utils for natural transformation Also add comments to other util commands * Write definition for natural transformation * Change some arrow definitions with explicitmorph * Fix natural transformation introduction * Fix notation * Remove more parentheses in functor application
Configuration menu - View commit details
-
Copy full SHA for d445179 - Browse repository at this point
Copy the full SHA d445179View commit details
Commits on Apr 25, 2023
-
* Define Product and Sum as CMonoids * Define reduce for bags * Rename reduce function for bags * Define keys for finite map * Define Maybe as a PointedSet * Add some tests for () Key instance * Fix index test case * Add test cases for () key map unindex * Comment reduceBag * Add test for reduce * Fix spellings
Configuration menu - View commit details
-
Copy full SHA for ff853c3 - Browse repository at this point
Copy the full SHA ff853c3View commit details -
Add implementation section to new benchmarking report chapter (#35)
* Remove chapter for project * Add chapter for benchmarking * Add section to describe the implementation * Add description of Maybe PointedSet implementation * Add description of the definition of Bag as a PointedSet
Configuration menu - View commit details
-
Copy full SHA for f2d9fe4 - Browse repository at this point
Copy the full SHA f2d9fe4View commit details -
Add reference to paper supplementary (#36)
* Add stand-in reference for supplementary file part B * Write introduction holding prototype citation
Configuration menu - View commit details
-
Copy full SHA for c94e173 - Browse repository at this point
Copy the full SHA c94e173View commit details
Commits on Apr 28, 2023
-
Implement a database implementation with bags (#37)
* Add LANGUAGE extensions for the library in cabal * Add file to hold example from appendix * Remove old test file * Add types for the example * Define cartesian product for bags * Start example with cartesian product * Add test cases for bag cartesian product * Add file to hold database operations * Add table with overview of relational algebra in bags * Implement empty table * Define singleton table and bag * Fix organisation of BagSpec tests * Test the singleton Bag function * Define singleton bag * Test singleton table function * Define table union * Define cartesian product for database tables * Define neutral element for a table * Implement projection * Implement selection and filtering * Add aggregation to bag implementation of database Also declare instance of related monoids as commutative monoids to use within the test case. * Rename selection function to select * Implement equijoin by cartesian product for bags * Explain design choice with commutative monoids * Fix some spellings in implementation report * Fix spellings * Test CMonoid implementations of Boolean operations
Configuration menu - View commit details
-
Copy full SHA for 19223cd - Browse repository at this point
Copy the full SHA 19223cdView commit details -
Implement indexed tables as databases (#38)
* Add IndexedTable file * Add singleton Indexed Table * Implement unions of indexed tables * Implement projection * Implement selection on IndexedTables * Implement aggregation in indexed table * Define natural join for indexed tables * Explain natural join for indexed tables
Configuration menu - View commit details
-
Copy full SHA for aecbe7a - Browse repository at this point
Copy the full SHA aecbe7aView commit details
Commits on Apr 29, 2023
-
Uncurry input types for most database operations (#39)
* Uncurry union operation * Uncurry bag Cartesian Product * Add explanation of uncurrying functions to report * Add another input to fix referencing warning * Fix pointed set text in implementation report section * Uncurry natural join function in Indexed Table
Configuration menu - View commit details
-
Copy full SHA for a6ade28 - Browse repository at this point
Copy the full SHA a6ade28View commit details -
Add appendix example using Cartesian product (#40)
* Derive Show and Eq for given example record types * Redefine Bag projection to project * Rename IndexedTable projection * Implement appendix example using bags * Fix types in example * Finish example using Cartesian products
Configuration menu - View commit details
-
Copy full SHA for 8fe44c9 - Browse repository at this point
Copy the full SHA 8fe44c9View commit details
Commits on May 2, 2023
-
Add draft of adjunction definition (#41)
* Draft introduction * Change explicit denotation for natural transformations * Start definition of an adjunction * Ensure that the difference between id functor and morph shown * Add command for vertical composition * Add introduction to natural transformation composition * Add definition of vertical composition * Add first draft at writing the triangle inequalities * Add reminder for what nat trans part I struggled with * Fix order of second triangle equality * Fix spellings
Configuration menu - View commit details
-
Copy full SHA for 17e86e4 - Browse repository at this point
Copy the full SHA 17e86e4View commit details -
Implement indexed equijoin (#43)
* Implement indexing bags * Describe what () key is * Define product of pointed set * Implement indexing and merging of arrays * Change reminder to test more complicated mapping * Implement lookup * Implement indexing * Implement unindexing of map * Test reduction of Array map * Test indexing with repeated keys * Add indexedEquijoin to database
Configuration menu - View commit details
-
Copy full SHA for eb13653 - Browse repository at this point
Copy the full SHA eb13653View commit details
Commits on May 3, 2023
-
Implement example in appendix (#44)
* Generalise functions used in product indexing * Add message with expected example * Rename example with Cartesian product * Define appendix example using predefined indexed join * Define explicit form like in appendix * Flip arguments to indexBy
Configuration menu - View commit details
-
Copy full SHA for 6333d79 - Browse repository at this point
Copy the full SHA 6333d79View commit details
Commits on May 5, 2023
-
Add parsers for test tables (#45)
* Create base for customers parser * Define types for Customer * Write parser for Customer table * Add parser for invoices table
Configuration menu - View commit details
-
Copy full SHA for a7125e4 - Browse repository at this point
Copy the full SHA a7125e4View commit details
Commits on May 29, 2023
-
* Add gitignore for python * Define cell interface * Create random name cell generator * Create id cell generator * Define constructor for table generator * Add name list to random name generator constructor * Add optional bounds on an id * Define a cell that duplicates values * Add a signature for table generator * Define record generator * Define table generator * Fix imports in cells * Fix duplicated cells * Remove num of records from table gen init * Add draft to generate customer table * Define a csv table generator * Add database files to gitignore * Define a unique cell * Fix spelling in table generation * Make attempt checking more readable * Add surname data list * Add list of first names * Generalise random name cell * Define a tracking cell * Update logic to create customer database * Format python files * Move database generation code to directory * Add id cell to order generation * Define an amount cell * Add amount to order table * Fix randomness in generated cells * Add skeleton for date cell * Generate a random year * Implement month generation * Define month enum * Improve types for date cell * Add function to generate day * Generate date * Generate order table for database * Define a parser to create databases * Enable custom database generation * Change parser to accept surnames * Fix mismatching end of line parser * Rename orders table to invoice in database generation * Fix cabal file * Fix incorrect type for amount generation
Configuration menu - View commit details
-
Copy full SHA for dde831b - Browse repository at this point
Copy the full SHA dde831bView commit details
Commits on Jun 7, 2023
-
Add skeleton for database benchmarking material (#47)
* Add file for database benchmarking * Add description of three benchmarking database types * Add introduction to the types of database environment * Add information on transaction processing * Remove online aspect of transaction processing * Add a skeleton of the subsections * Add skeleton to introduce transaction integrity * Add transaction words to project dictionary * Remove empty citation
Configuration menu - View commit details
-
Copy full SHA for 98a779a - Browse repository at this point
Copy the full SHA 98a779aView commit details -
Add benchmarking literature review citations (#48)
* Reword introduction slightly * Add Wisconsin paper to references * Add Wisconsin Retrospective reference * Add DebitCredit reference * Add citations from benchmarking handbook * Add TPC-H citation * Format bibfile
Configuration menu - View commit details
-
Copy full SHA for 62d52e2 - Browse repository at this point
Copy the full SHA 62d52e2View commit details
Commits on Jun 8, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 7b5ae82 - Browse repository at this point
Copy the full SHA 7b5ae82View commit details
Commits on Jun 15, 2023
-
Refactor argument parsing for customer database generating (#50)
* Fix date addition to table generation * Format customer database generator * Move main method to front * Define a table configuration * Separate the definition of the parser * Separate the adding of arguments to parser * Refactor parsing customer args * Refactor invoice arguments parsing * Return table configurations from argument parser * Reorder generate_database arguments * Make generate table take in TableConfiguration * Change signature of generate customer table to take in a config * Refactor generate invoice table to take in a configuration * Move configuration to own module * Make TableConfiguration an abstract class
Configuration menu - View commit details
-
Copy full SHA for 393f57a - Browse repository at this point
Copy the full SHA 393f57aView commit details -
Fix schema, relation and attribute representations (#51)
Changes also include preliminary editing of the relational model section. * Fix todo in relational model introduction * Fix relation and attribute styles * Fix schema definition * Change relation and attribute font * Proof read the definition of schema * Proof read the definition for a tuple * Add some labels to dictionary --------- Signed-off-by: Matteo Bongiovanni <40599507+MatBon01@users.noreply.github.com>
Configuration menu - View commit details
-
Copy full SHA for 69dd944 - Browse repository at this point
Copy the full SHA 69dd944View commit details
Commits on Jun 16, 2023
-
* Separate long lines in final.tex * Add all relevant background pages from interim * Add background section on implementation details in Haskell * Separate database implementation from benchmarks * Add final report release Please enter the commit message for your changes. Lines starting * Try fix missing package in latex compilation * Add an extra package level in spell checking * Add some implementation vocabulary to dictionary
Configuration menu - View commit details
-
Copy full SHA for f400964 - Browse repository at this point
Copy the full SHA f400964View commit details
Commits on Jun 17, 2023
-
Introduce database benchmarking and Wisconsin table structure (#53)
* Fix Wisconsin citation * Add a more detailed discussion of benchmark types * Add reference for DoingYourOwnBenchmark * Fix crossref error in bib file * Introduce the domain-specific portion of the literature review * Add database benchmark application introduction * Introduce metrics for transaction processing benchmark * Add benchmark name to dictionary * Define transaction integrity * Fix outline of decision-support section * Add introduction to decision support systems * Add reasons decision support systems model paper * Add descriptions of metrics of decision support * Add benchmark examples for decision support * Add explanation on the selection of benchmarks * Define layout of benchmarking case studies * Intoduce the concept of a synthetic database * Add paragraph on Wisconsin relations * Add paragarph on Wisconsin tuples * Add a paragraph on the unique fields * Add draft table for attributes of Wisconsin database * Add all cyclical Wisconsin integer attributes * Add range for Wisconsin attribute strings * Change range for integer attributes * Explain cyclic integer attributes * Rename the subparagraphs to attributes * Add introduction to the string values * Change references to range to domain * Describe the string template * Center the template string * Style attribute table * Add a table showing how stringu1 changes * Remove labels from example string table * Describe how to calculate unique strings * Describe how string4 is generated * Change attribute to relationAttribute * Describe the aims of the queries * Remove unused subheadings * Fix spelling --------- Signed-off-by: Matteo Bongiovanni <40599507+MatBon01@users.noreply.github.com>
Configuration menu - View commit details
-
Copy full SHA for 5f5e4d1 - Browse repository at this point
Copy the full SHA 5f5e4d1View commit details
Commits on Jun 18, 2023
-
Clean category theory background section for final report (#54)
* Change introduction of category theory * Add spacing after introduction * Use unicode for mathematics * Remove not needed parts at beginning * Define hom-set * Remove unicode mathematics package I chose to do this as it messes with the font used for my categories. * Fix spelling in introduction * Add indication that arrow of functor in category * Fix citation in vertical composition * Remove section on horizontal composition * Fix open functormorph application * Fix mismatched bracket * Remove todo for further adjunction definition * Fix todo for more information in section * Remove plagiarism check todo * Remove section on graded monads * Fix notation with natural transformations
Configuration menu - View commit details
-
Copy full SHA for 9e182ff - Browse repository at this point
Copy the full SHA 9e182ffView commit details
Commits on Jun 19, 2023
-
Edit relational algebra background section for final report (#55)
* Move all citations to before punctuation * Mention how tuples are built up * Remove mention of bags * Remove multiplicity doubt in relational algebra section * Remove uncertainty on theta * Remove note to write example for equijoin * Remove note on permutations * Change tables to have format specifier h * Find missing example for schema with domain * Add label to dictionary
Configuration menu - View commit details
-
Copy full SHA for 5ac0a68 - Browse repository at this point
Copy the full SHA 5ac0a68View commit details -
Edit background on database representation for final report (#56)
* Move citations before punctuation * Remove todos related to bags * Fix introduction to indexed tables * Remove todos on finite maps and indexed tables * Remove reference to removed useful functions section
Configuration menu - View commit details
-
Copy full SHA for db5a5c6 - Browse repository at this point
Copy the full SHA db5a5c6View commit details -
Configuration menu - View commit details
-
Copy full SHA for 36f6ac8 - Browse repository at this point
Copy the full SHA 36f6ac8View commit details -
Fix compilation of interim report (#58)
* Fix use of attribute in introduction * Fix reference in relational model section * Fix label in dictionary
Configuration menu - View commit details
-
Copy full SHA for a303954 - Browse repository at this point
Copy the full SHA a303954View commit details -
Add examples for easy benchmarks and joins (#59)
* Add table generation command to makefile * Fix customer parsing test issue * Test parasing for invoice benchmark * Print parsing for invoice in invoice benchmark * Test benchmarking parsing of csv files * Change table generation directory * Reformat Customer Parser * Move example tables * Print head of customer database in old comprehension example * Read in both tables correctly for old comprehension example * Implement old comprehension join * Impelment modular product join * Redefine show for bags * Change output form to a Bag for Old Comprehension
Configuration menu - View commit details
-
Copy full SHA for e835c45 - Browse repository at this point
Copy the full SHA e835c45View commit details
Commits on Jun 20, 2023
-
Add Haskell testing to pipeline (#61)
* Add testing for Haskell * Update dependencies * Use updated action to install ghc * Add test feedback on Haskell pipeline * Add sha to status * Add permission to write statuses * Fix incorrect status name * Change workflow triggers
Configuration menu - View commit details
-
Copy full SHA for 3cebf99 - Browse repository at this point
Copy the full SHA 3cebf99View commit details -
Move python out of app directory (#62)
* Move databasegen from app directory It is not Haskell so I think should be somewhere else * Refactor common example attributes
Configuration menu - View commit details
-
Copy full SHA for ad55bb0 - Browse repository at this point
Copy the full SHA ad55bb0View commit details -
* Add python files to gitignore * Remove pycache directories
Configuration menu - View commit details
-
Copy full SHA for c29130f - Browse repository at this point
Copy the full SHA c29130fView commit details
There are no files selected for viewing