#+Title: Common Lisp Genealogical Database Manager #+AUTHOR: Sam Flint #+EMAIL: swflint@flintfam.org #+DATE: \today #+INFOJS_OPT: view:info toc:nil path:http://flintfam.org/org-info.js #+OPTIONS: toc:nil H:5 ':t *:t d:nil stats:nil t:nil #+PROPERTY: noweb no-export #+PROPERTY: comments noweb #+LATEX_HEADER: \parskip=5pt #+LATEX_HEADER: \lstset{texcl=true,breaklines=true,columns=fullflexible,basicstyle=\ttfamily,frame=lines,literate={lambda}{$\lambda$}{1} {set}{$\gets$}1 {setq}{$\gets$}1 {setf}{$\gets$}1 {<=}{$\leq$}1 {>=}{$\geq$}1} #+LATEX_CLASS_OPTIONS: [10pt,twoside] #+LATEX_HEADER: \pagestyle{headings} #+LATEX_HEADER: \usepackage[margins=0.75in]{geometry} #+LATEX_HEADER: \parindent=0pt * TODO Introduction :nonum: :PROPERTIES: :CREATED: <2016-01-06 Wed 13:13> :END: * TOC :ignoreheading: :PROPERTIES: :CREATED: <2016-01-06 Wed 13:13> :END: #+TOC: headlines 3 #+TOC: listings * WORKING Data Storage [4/9] :PROPERTIES: :CREATED: <2016-01-06 Wed 13:14> :END: One of the key components of genealogical software is the ability to effectively store information related to members of a family. This will include things such as people, birth records, death records, marriage records, divorce records and notes. To accomplish the storage of this information, I'm using a schema-less relational database management system called LambdaLite, which is written entirely in lisp, and uses the local file system to store data effectively. ** DONE Macros :PROPERTIES: :CREATED: <2016-01-06 Wed 13:16> :END: To accomplish the goal of storing data within the database system that is LambdaLite, I need to be able to constrain various attributes to be certain values. To do this, instead of having to manually write code to constrain them each time, I use a few macros to do this. These macros include: - constrain-values :: Constrains to be one of several values. This macro takes one or more arguments, and generates a function that checks to see if the argument passed to it is in any of the given values. - in-table-column :: Checks to see if the value is one of the values in a specific column. This macro takes two arguments, a table name and a column name, then generates a function which will calculate all possible values, iterating for each row in the table, getting the values in the specified column, and then testing the value passed to the function to see if it is a member of the possible values. - ids-in-table-column :: Checks to see if this is one of the possible IDs in a table column. This is done through the same mechanism as ~in-table-column~, but simply ensuring that the passed object is a) a list, and b) the elements in the list are mapped through the ~in-table-column~ result, with the values of a and be being reduced using ~and~ to produce a single boolean. - unique-in-column :: This checks to see whether or not the passed value is within the specified column, ensuring that it is not within it. This function takes three things, a table, a column and a type. It first ensures that the passed object is of the specified type, and if it is, calculates all values currently in the specified table and column, and then checks to see that the passed object is /not/ within the list. #+Caption: Data Storage Macros #+Name: data-storage-macros #+BEGIN_SRC lisp (defmacro constrain-values (&rest values) `(lambda (object) (the boolean (member object (list ,@values))))) (defmacro in-table-column (table column) `(lambda (object) (let ((possible-values (iter (for row in (select ,table)) (collect (,column row))))) (the boolean (member object possible-values))))) (defmacro ids-in-table-column (table column) `(lambda (object) (let ((possible-values (iter (for row in (select ,table)) (collect (,column row))))) (and (listp object) (reduce #'and (map 'list ,(in-table-column table column) object)))))) (defmacro unique-in-column (table column type) `(lambda (object) (if (typep object ',type) (let ((possible-values (iter (for row in (select ,table)) (collect (,column row))))) (not (the boolean (member object possible-values))))))) (defun generate-table-id (table) (check-type table keyword) (1+ (length (select table)))) #+END_SRC ** DONE People :PROPERTIES: :CREATED: <2016-01-06 Wed 13:17> :END: This is the People table, used to store the most bare information about a person. This includes the following: - ID :: The ID used to identify the person within the database. - Name :: The name of the person. - Gender :: The gender of the person. Can be one of: - M - F - T - Father :: The person's father. This is either an person ID, or 0 if we don't know who the father is. - Mother :: The person's mother. As with father, this can be either a person ID or 0. #+Caption: Person Table #+Name: person-table #+BEGIN_SRC lisp (defattributes :/person-id (unique-in-column :people :/person-id integer) :/person-name #'stringp :/gender (constrain-values "M" "F" "T") :/father (lambda (object) (or (= 0 object) (funcall (in-table-column :people :/person-id) object))) :/mother (lambda (object) (or (= 0 object) (funcall (in-table-column :people :/person-id) object)))) #+END_SRC ** DONE Births :PROPERTIES: :CREATED: <2016-01-06 Wed 13:17> :END: Another important thing is to be able to log births, or possible birth dates. To do this, you need four pieces of information: - Birth ID :: The ID used to reference the person's birth. - Person :: The ID of the person born. - Birth Date :: When the person was born. - Birth Location :: Where the person was born. #+Caption: Births Table #+Name: births-table #+BEGIN_SRC lisp (defattributes :/birth-id (unique-in-column :births :/birth-id integer) :/birth-person (in-table-column :people :/person-id) :/birth-date #'stringp :/birth-location #'stringp) #+END_SRC ** DONE Deaths :PROPERTIES: :CREATED: <2016-01-06 Wed 13:17> :END: Furthermore, to be as complete as possible, you need to be able to store and query death information. This includes things such as: - Death ID :: The ID used to track this death record. - Person :: The ID of the person who died. - Date :: When the person died. - Location :: Where the person died. #+Caption: Deaths Table #+Name: deaths-table #+BEGIN_SRC lisp (defattributes :/death-id (unique-in-column :deaths :/death-id integer) :/death-person (in-table-column :people :/person-id) :/death-date #'stringp :/death-location #'stringp) #+END_SRC ** TODO Marriages :PROPERTIES: :CREATED: <2016-01-06 Wed 13:17> :END: ** TODO Divorces :PROPERTIES: :CREATED: <2016-01-06 Wed 13:17> :END: ** TODO Notes :PROPERTIES: :CREATED: <2016-01-06 Wed 13:17> :END: ** TODO Common Attributes :PROPERTIES: :CREATED: <2016-01-06 Wed 13:18> :END: ** TODO Reports :PROPERTIES: :CREATED: <2016-01-06 Wed 13:18> :END: * WORKING Data Interface [0/10] :PROPERTIES: :CREATED: <2016-01-06 Wed 13:15> :END: ** TODO Create Person :PROPERTIES: :CREATED: <2016-01-06 Wed 13:18> :END: ** TODO Create Birth :PROPERTIES: :CREATED: <2016-01-06 Wed 13:19> :END: ** TODO Create Death :PROPERTIES: :CREATED: <2016-01-06 Wed 13:19> :END: ** TODO Create Marriages :PROPERTIES: :CREATED: <2016-01-06 Wed 13:19> :END: ** TODO Create Divorce :PROPERTIES: :CREATED: <2016-01-06 Wed 13:19> :END: ** TODO Get Person :PROPERTIES: :CREATED: <2016-01-06 Wed 13:19> :END: ** TODO Get Birth :PROPERTIES: :CREATED: <2016-01-06 Wed 13:19> :END: ** TODO Get Death :PROPERTIES: :CREATED: <2016-01-06 Wed 13:19> :END: ** TODO Get Mariage :PROPERTIES: :CREATED: <2016-01-06 Wed 13:20> :END: ** TODO Get Divorce :PROPERTIES: :CREATED: <2016-01-06 Wed 13:20> :END: * TODO Family Tree Display :PROPERTIES: :CREATED: <2016-01-06 Wed 13:14> :END: * TODO Ahnentafel Generation :PROPERTIES: :CREATED: <2016-01-06 Wed 13:14> :END: * TODO GEDCOM Parsing :PROPERTIES: :CREATED: <2016-01-06 Wed 13:15> :END: * TODO Packaging :PROPERTIES: :CREATED: <2016-01-06 Wed 13:15> :END: