The rules-and-constraints tag has no wiki summary.
-1
votes
0answers
26 views
Using SAT4J to solve a boolean constraint optimization problem [on hold]
I am trying to solve the problem below using www.SAT4J.org . My problem is how to specify the problem to SAT4J using their API. Here is the problem:
boolean[50][50][20] variables;
int[50][50][20] ...
-2
votes
0answers
33 views
What the “verification rules” refers to? [closed]
Some one ask me if I have a quality documents for
code rules. This one I know and it's related to the code style rules
like indent, function names, variable name etc
security rules. and this one is ...
1
vote
3answers
164 views
How do I convert a list of Requirements into Constraints?
I am trying to prepare my first software design document. I am self-taught and have no formal training in CS. Having done a wee bit of reading up on it beforehand, I have created a list of ...
2
votes
3answers
104 views
What kind of algorithm could be used to produce an ordering which maximizes # of satisfied 'less than' constraints?
Let's say I have a set of items {e1, e2, ..., en}, and I also have a set of constraints {c1, c2, ..., cm}, with ci := ej appears before ek, for some j and k.
I want to produce an ordering of my items ...
1
vote
0answers
94 views
Understanding algorithms for numeric constraint solving
As an educational exercise, I am looking to implement a constraint solver from scratch. However, since the field is entirely new to me, I am at a loss of where to begin with background research.
The ...
1
vote
0answers
134 views
Is there a name for this kind of database constraint? “Functional foreign key”? And is it a good idea?
Say we want to enforce that a table represents a tree. I have found this method for doing so:
create table tree (
id integer[] primary key,
parent integer[] references tree (id),
item text not ...
2
votes
2answers
116 views
Should I check integrity in my application code or defer to the database? [duplicate]
At work we have a lot of code like this (pseudocode):
response form_submit(string username, string password) {
if ( username == ""
|| username.contains(invalid_chars)
|| password.length ...
5
votes
4answers
141 views
Representing a rule in a ruleset
How to represent rules for a rule engine as objects?
A rule would be
if (booleanExpression(input)) then a chain of generic actions" else next rule
...where the generic actions might be e.g. ...
1
vote
3answers
623 views
How do I approach this PHP/MYSQL query?
I have a reservation system that I have coded and my final task is to allow the user to enter a set of dates and then show them all available options.
The reservation table is set up with unit_id, ...
3
votes
2answers
316 views
How to program for constraints/rules
First the background, during interviews in the past, many times I have been asked to design some or other variation of card game as programming puzzle, and I have tried to design it in OO way, but I ...
5
votes
5answers
1k views
Highly scalable and dynamic “rule-based” applications?
For a large enterprise app, everyone knows that being able to adjust to change is one of the most important aspects of design. I use a rule-based approach a lot of the time to deal with changing ...
14
votes
6answers
752 views
Representing business rules with exceptions
I know it is expensive but (IMO) I believe it is a very good practice. I'm talking about rules like say, you can't save an Invoice if you are not a sales person... so in that case throwing an ...
