Codestin Search App

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
AUTHORS.txt		AUTHORS.txt
CHANGES.txt		CHANGES.txt
COPYING.txt		COPYING.txt
INSTALL.txt		INSTALL.txt
Makefile		Makefile
Makefile_original		Makefile_original
README		README
WP1_ADB Project v1.docx		WP1_ADB Project v1.docx
datalog_spec.txt		datalog_spec.txt
eval vWP1.ml		eval vWP1.ml
eval.cmi		eval.cmi
eval.cmo		eval.cmo
eval.ml		eval.ml
eval.out		eval.out
eval_original.ml		eval_original.ml
examples.lang		examples.lang
expr.cmi		expr.cmi
expr.cmo		expr.cmo
expr.ml		expr.ml
expr_fact1.ml		expr_fact1.ml
expr_original.ml		expr_original.ml
gaurav_output		gaurav_output
gaurav_test		gaurav_test
lexer.cmi		lexer.cmi
lexer.cmo		lexer.cmo
lexer.ml		lexer.ml
lexer.mll		lexer.mll
main.cmi		main.cmi
main.cmo		main.cmo
main.ml		main.ml
main.ml~		main.ml~
main_old.ml		main_old.ml
main_original.ml		main_original.ml
parser.cmi		parser.cmi
parser.cmo		parser.cmo
parser.ml		parser.ml
parser.mli		parser.mli
parser.mly		parser.mly
parser_fact1.mly		parser_fact1.mly
proba.ml		proba.ml
proba1.cmi		proba1.cmi
proba1.cmo		proba1.cmo
proba1.ml		proba1.ml
proba1.out		proba1.out
yadi		yadi

Repository files navigation

YADI - Yet Another Datalog Interpreter
================================================
                                        
---------------------------------------------------------------------------

What is YADI?
-------------------------

TODO

Pre-requisites
-------------------------

It is madatory to connect a PostgreSQL server, with a role, a database and at least one populated table to formulate queries against that table.

Howto randomly poppopulate a table (for testing puropose only): 
	
	psql> create table test as SELECT id, md5(random()::text) AS descr FROM
          (SELECT * FROM generate_series(1,100) AS id) AS x;

Usage
-------------------------

./yadi <connexion info>

Example:

./yadi "host=localhost port=5432 user=test password=test dbname=test_db"


---------------------------------------------------------------------------

Contact Information and Contributing
------------------------------------

In the case of bugs, feature requests, contributions and similar, please
contact the maintainers:

Gaurav Singh Chauhan <[email protected]> 
Sandra Mitrovic <[email protected]> 
Arpaporn Skunkittiyut <[email protected]> 
Shalini Gangwar <[email protected]>

  * Guillaume Raschia <[email protected]>

Up-to-date information should be available at:
<https://url-of-my-project>

Enjoy!

Guillaume Raschia in Nantes, FR on Sept 28, 2012