[2/9]
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.
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:
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.
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.
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.
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.
(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))))
This is the People table, used to store the most bare information about a person. This includes the following:
The ID used to identify the person within the database.
The name of the person.
The gender of the person. Can be one of:
M
F
T
The person's father. This is either an person ID, or 0 if we don't know who the father is.
The person's mother. As with father, this can be either a person ID or 0.
(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))))
[0/10]