{"id":15886722,"url":"https://github.com/epost/haskell-ubi-sunt","last_synced_at":"2025-04-02T16:24:10.995Z","repository":{"id":149244202,"uuid":"42958742","full_name":"epost/haskell-ubi-sunt","owner":"epost","description":"Predicate logic and relational algebra querying experiments","archived":false,"fork":false,"pushed_at":"2015-09-22T20:23:02.000Z","size":108,"stargazers_count":1,"open_issues_count":0,"forks_count":0,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-02-08T07:11:54.812Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/epost.png","metadata":{"files":{"readme":"README.org","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2015-09-22T20:22:25.000Z","updated_at":"2018-01-27T15:59:22.000Z","dependencies_parsed_at":"2023-04-08T05:02:26.912Z","dependency_job_id":null,"html_url":"https://github.com/epost/haskell-ubi-sunt","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/epost%2Fhaskell-ubi-sunt","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/epost%2Fhaskell-ubi-sunt/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/epost%2Fhaskell-ubi-sunt/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/epost%2Fhaskell-ubi-sunt/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/epost","download_url":"https://codeload.github.com/epost/haskell-ubi-sunt/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":246848470,"owners_count":20843711,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-10-06T05:41:28.150Z","updated_at":"2025-04-02T16:24:10.977Z","avatar_url":"https://github.com/epost.png","language":"Haskell","funding_links":[],"categories":[],"sub_categories":[],"readme":"#+title:Predicate logic and relational algebra querying experiments in Haskell\n\nEvaluating a relational algebra expression (~RelExp~) like this:\n\n#+BEGIN_SRC haskell\nmain = do\n  let\n    relExp1 :: RelExp\n    relExp1 =\n      Project [\"fname\", \"mname\", \"type\"] $\n      Select  (AttrEq \"type\" (AStr \"function\")) $\n      NatJoin (Rel [\"f\", \"type\" ] typeAttr) $\n      NatJoin (Rel [\"m\", \"mname\"] nameAttr) $\n      NatJoin (Rel [\"f\", \"m\"    ] definedInAttr) $\n      RelExp  (Rel [\"f\", \"fname\"] nameAttr)\n\n  putStrLn . dumpRel . eval $ relExp1\n#+END_SRC\n\nagainst the following data:\n\n#+BEGIN_EXAMPLE\nnameAttr =\n  [ [AAtom  1, AStr \"map\"                    ]\n  , [AAtom  2, AStr \"ap\"                     ]\n  , [AAtom  3, AStr \"lift2\"                  ]\n  , [AAtom  4, AStr \"lift3\"                  ]\n  , [AAtom 10, AStr \"Control.Functor\"        ]\n  , [AAtom 11, AStr \"Control.Applicative\"    ]\n  , [AAtom 20, AStr \"purescript-functors\"    ]\n  , [AAtom 21, AStr \"purescript-applicative\" ]\n  ]\n\ndefinedInAttr =\n  [ [AAtom  1, AAtom 10]\n  , [AAtom  2, AAtom 11]\n  , [AAtom  3, AAtom 11]\n  , [AAtom  4, AAtom 11]\n  , [AAtom 10, AAtom 20]\n  , [AAtom 11, AAtom 21]\n  ]\n\ntypeAttr =\n  [ [AAtom  1, AStr \"function\" ]\n  , [AAtom  2, AStr \"function\" ]\n  , [AAtom  3, AStr \"function\" ]\n  , [AAtom  4, AStr \"function\" ]\n  , [AAtom 10, AStr \"module\"   ]\n  , [AAtom 11, AStr \"module\"   ]\n  , [AAtom 20, AStr \"library\"  ]\n  , [AAtom 21, AStr \"library\"  ]\n  ]\n#+END_EXAMPLE\n\ngives us:\n\n#+BEGIN_EXAMPLE\nattrs = [\"fname\",\"mname\",\"type\"]\nrows =\n  [AStr \"map\",AStr \"Control.Functor\",AStr \"function\"]\n  [AStr \"ap\",AStr \"Control.Applicative\",AStr \"function\"]\n  [AStr \"lift2\",AStr \"Control.Applicative\",AStr \"function\"]\n  [AStr \"lift3\",AStr \"Control.Applicative\",AStr \"function\"]\n#+END_EXAMPLE\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fepost%2Fhaskell-ubi-sunt","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fepost%2Fhaskell-ubi-sunt","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fepost%2Fhaskell-ubi-sunt/lists"}